A complete axiomatization of real-time processes

Bibliographische Detailangaben

1. Verfasser:	Gerber, R. (VerfasserIn)
Weitere Verfasser:	Lee, I. (VerfasserIn), Zwarico, A. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Philadelphia, Pa. Univ. of Pennsylvania 1988
Schriftenreihe:	MS-CIS / University of Pennsylvania, School of Engineering and Applied Science, Department of Computer and Information Science 88,88 GRASP LAB 162
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!