Formale Analyse und Verifikation von Statemate Entwürfen

BIB
Bienmüller, T. and Damm, W. and Klose, J. and Wittke, H.
01 / 2001
article
29ff