Model Checking - Grundlagen und Praxiserfahrungen

BIB
Buschermöhle, Ralf and Brörkens, Mark and Brückner, Ingo and Damm, Werner and Hasselbring, Wilhelm and Josko, Bernhard and Schulte, Christoph and Wolf, Thomas
04 / 2004
0170-6012
article
Springer Verlag
146-158
Springer Verlag