Page Information

Title:	UML State Machine Simulation/Model Checking with Maude
Author:	Unknown User (tig)	Mar 20, 2012
Last Changed by:	Unknown User (cmot)	Sep 23, 2013
Tiny Link: (useful for email)	https://rtsys.informatik.uni-kiel.de/confluence/x/pQEF
Export As:	Word · PDF

Parent Page     Page: Discontinued Projects

There are no labels assigned to this page.

Time	Editor
Sep 23, 2013 14:27	Unknown User (cmot)	View Changes
Migrated to Confluence 5.3
Sep 23, 2013 14:27	Unknown User (cmot)	View Changes
Apr 10, 2012 14:15	Unknown User (cmot)	View Changes
Apr 10, 2012 14:15	Unknown User (cmot)	View Changes
Mar 24, 2012 15:09	Unknown User (cds)

External Links (7)
    rtsys.informatik.uni-kiel.de/confluence/%7Ekieler/files/nig…
    maude.cs.uiuc.edu/
    www.informatik.uni-kiel.de/rtsys/kontakt/cmot/
    maude.cs.uiuc.edu/download/
    www.eclipse.org/modeling/mdt/papyrus/
    rtsys.informatik.uni-kiel.de/confluence/%7Ekieler/updatesit…
    rtsys.informatik.uni-kiel.de/confluence/pages/viewpage.acti…