Pushdown processes: parallel composition and model checking

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Burkart, Olaf (VerfasserIn)
Weitere Verfasser:	Steffen, Bernhard (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	Passau Fak. für Mathematik und Informatik, Univ. 1993
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	Auch als: Aachener Informatik-Berichte ; 93,10
Beschreibung:	17 S graph. Darst