maude-help AT lists.cs.illinois.edu
Subject: Maude-help mailing list
List archive
- From: Mihoub Mazouz <mazouz_mihoub AT hotmail.fr>
- To: Maude HelpSystem <maude-help AT cs.uiuc.edu>
- Subject: [Maude-help] Model checking & object-oriented modules
- Date: Mon, 6 Jul 2015 19:40:35 +0100
- Importance: Normal
- List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help/>
- List-id: <maude-help.cs.uiuc.edu>
Dear Maude supporters,
Is it possible to use an object module specifying the behavior of system M instead of a system one.
Thank you so much.
Is it possible to use an object module specifying the behavior of system M instead of a system one.
Thank you so much.
- [Maude-help] Model checking & object-oriented modules, Mihoub Mazouz, 07/06/2015
Archive powered by MHonArc 2.6.16.