A process algebraic approach to the specification and analysis of resource-bound real-time systems

Bibliographische Detailangaben

1. Verfasser:	Lee, Insup (VerfasserIn)
Weitere Verfasser:	Brémont-Grégoire, Patrice (VerfasserIn), Gerber, Richard (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Philadelphia, Pa. Univ. of Pennsylvania, School of Engineering and Applied Science, Computer and Information Science Dept. 1993
Schriftenreihe:	Logic & computation 56
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!