CIP model-checking

Verfasser / Beitragende:
Andreas Moglestue
Ort, Verlag, Jahr:
Aachen : Shaker Verlag, 2004
Beschreibung:
238 S. : Ill.
Format:
Buch (Hochschulschrift)
ID: 278591507