Wiki source code of UML State Machine Simulation/Model Checking
Version 3.1 by cds on 2012/03/24 15:09
Show last authors
| author | version | line-number | content |
|---|---|---|---|
| 1 | {{warning}} | ||
| 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 | {{/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}} |