Title :
Invited Mini-review Session 2: Software Specification Of Real-time Systems
Author :
Urban, Joseph E.
Author_Institution :
Department of Computer Science and Engineering Arizona State University
Conference_Titel :
Parallel and Distributed Systems, 1994. International Conference on
Print_ISBN :
0-8186-6555-6
DOI :
10.1109/ICPADS.1994.589880
