Complete abstractions through extensions of disjunctive modal transition systems

Bibliographische Detailangaben

1. Verfasser:	Fecher, Harald (VerfasserIn)
Weitere Verfasser:	Huth, Michael (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Kiel Inst. für Informatik u. Prakt. Mathematik, Christian-Albrechts-Univ. 2006
Schriftenreihe:	Bericht / Institut für Informatik und Praktische Mathematik 06,4
Schlagworte:	Forschungsbericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!