Login / Signup
Formale Spezifikation, Verifikation und Synthese zustandsendlicher Systeme.
Wolfram Büttner
Published in:
Informationstechnik Tech. Inform. (1997)
Keyphrases
</>