Pushdown processes: parallel composition and model checking
Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Burkart, Olaf (VerfasserIn), Steffen, Bernhard (VerfasserIn)
Format: Buch
Sprache:Undetermined
Veröffentlicht: Passau 1993
Schriftenreihe:Universität <Passau> / Fakultät für Mathematik und Informatik: MIP 1993,12
Beschreibung:17 S.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!