Changes for page UML State Machine Simulation/Model Checking with Maude

Last modified by Richard Kreissig on 2023/09/14 10:32

From version < 8.2 >

edited by cmot
on 2023/07/06 14:36

To version < 8.1 >

edited by cmot
on 2023/07/06 14:36

Change comment: Renamed from xwiki:KIELER.UML State Machine SimulationModel Checking with Maude

Summary

Page properties

Parent

@@ -1,1 +1,1 @@
--KIELER.Home.Discontinued Projects.WebHome
++Discontinued Projects