Conference
Parallel Refinement Mechanisms for Real-Time Systems.
Authors
Kolano PZ; Kemmerer RA; Mandrioli D
Editors
Maibaum TSE
Series
Lecture Notes in Computer Science
Volume
1783
Pagination
pp. 35-50
Publisher
Springer
Publication Date
2000
ISBN-10
3-540-67261-3
Conference proceedings
FASE