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

Gespeichert in:
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!