Composition, decomposition and model checking of pushdown processes

Bibliographische Detailangaben

1. Verfasser:	Burkart, Olaf (VerfasserIn)
Weitere Verfasser:	Steffen, Bernhard (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Passau Univ., Fak. für Mathematik und Informatik 1994
Schriftenreihe:	Technische Berichte der Fakultät für Mathematik und Informatik, Univ. Passau MIP 9402
Schlagworte:	Bericht > Forschungsbericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!