The safety-progress classification

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Chang, Edward (VerfasserIn)
Weitere Verfasser:	Manna, Zohar (BerichterstatterIn), Pnueli, A. (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Stanford, Calif. Dep. of Computer Science, Univ. 1992
Schriftenreihe:	Report / Department of Computer Science, Stanford University 1408
Schlagworte:	Real-time programming > Logic, Symbolic and mathematical > Bericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!