Classifying discrete temporal properties

Kiel, Univ., Habil.-Schr., 1998

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Wilke, Thomas (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	1998
Schlagworte:	Hochschulschrift > Temporale Logik
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	Kiel, Univ., Habil.-Schr., 1998
Beschreibung:	XV, 120 S Ill., graph. Darst