Showing a limited preview of this publication:
Published Online: 1999-02
Published in Print: 1999-02
© 2013 Oldenbourg Wissenschaftsverlag GmbH, Rosenheimer Str. 145, 81671 München
Licensed
Unlicensed
Requires Authentication
Formale Verifikation eingebetteter Systeme
From the journal it - Information Technology
