Published by De Gruyter Oldenbourg March 1, 1997

Formale Spezifikation, Verifikation und Synthese zustandsendlicher Systeme

Wolfram Büttner

From the journal it - Information Technology

https://doi.org/10.1524/itit.1997.39.3.15

Showing a limited preview of this publication:

Published Online: 1997-03

Published in Print: 1997-03

© 2013 Oldenbourg Wissenschaftsverlag GmbH, Rosenheimer Str. 145, 81671 München

Downloaded on 19.4.2024 from https://www.degruyter.com/document/doi/10.1524/itit.1997.39.3.15/html