Conference
A Complete Proof System for Timed Observations.
Authors
Ortega-Mallén Y; Frutos-Escrig DD
Editors
Abramsky S; Maibaum TSE
Series
Lecture Notes in Computer Science
Volume
493
Pagination
pp. 412-440
Publisher
Springer
Publication Date
January 1, 1991
ISBN-10
3-540-53982-4
Conference proceedings
TAPSOFT, Vol.1