A really temporal logic

Bibliographische Detailangaben

1. Verfasser:	Alur, Rajeev (VerfasserIn)
Weitere Verfasser:	Henzinger, Thomas A. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Ithaca, NY Dep. of Computer Science 1992
Schriftenreihe:	Reports / CORNELL UNIV ITHACA NY TR 92-1310
Schlagworte:	Bericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!