Changes for page UML State Machine Simulation/Model Checking with Maude
Last modified by Richard Kreissig on 2023/09/14 10:32
Change comment:
There is no comment for this version
Summary
-
Page properties (2 modified, 0 added, 0 removed)
-
Objects (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Author
-
... ... @@ -1,1 +1,1 @@ 1 -XWiki. cds1 +XWiki.tig - Content
-
... ... @@ -1,10 +1,3 @@ 1 1 {{warning}} 2 2 This page is not migrated yet. Try the [[old wiki>>url:http://trac.rtsys.informatik.uni-kiel.de/trac/kieler||shape="rect"]] until someone fills me with content. 3 3 {{/warning}} 4 - 5 -{{panel title="Project Overview" borderStyle="dashed"}} 6 -Responsible: 7 - 8 -* [[Christian Motika>>url:http://www.informatik.uni-kiel.de/rtsys/kontakt/cmot/||shape="rect"]] 9 -* Jens Schönborn 10 -{{/panel}}
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -88 50451 +884938 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/88 5045/UML State Machine Simulation/Model Checking1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/884938/UML State Machine Simulation/Model Checking