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. tig1 +XWiki.cds - Content
-
... ... @@ -1,3 +1,10 @@ 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 -884 9381 +885045 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/884 938/UML State Machine Simulation/Model Checking1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/885045/UML State Machine Simulation/Model Checking