![](/img/cover-not-exists.png)
Formale Analyse und Verifikation von Statemate-Entwürfen (Formal Analysis and Verification of Statemate Designs)
Bienmüller, Tom, Damm, Werner, Klose, Jochen, Wittke, HartmutVolume:
43
Language:
german
Journal:
it - Information Technology
DOI:
10.1524/itit.2001.43.1.29
Date:
January, 2001
File:
PDF, 185 KB
german, 2001