Towards automata for branching time and partial order

Bibliographische Detailangaben

1. Verfasser:	Huhn, Michaela (VerfasserIn)
Weitere Verfasser:	Niebert, Peter (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Hildesheim Univ., Inst. für Informatik 1996
Schriftenreihe:	Hildesheimer Informatik-Berichte 16/96
Schlagworte:	Forschungsbericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!