Formale Methoden für die Spezifikation interaktiver Systeme

Bibliographische Detailangaben

1. Verfasser:	Dittmar, Anke (VerfasserIn)
Körperschaft:	Universität Rostock Fachbereich Informatik (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Rostock Univ., Fachbereich Informatik 1996
Schriftenreihe:	Preprints aus dem Fachbereich Informatik 1996,10
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!