Conference
Provably Correct Runtime Monitoring.
Authors
Aktug I; Dam M; Gurov D
Editors
Cuéllar J; Maibaum TSE; Sere K
Series
Lecture Notes in Computer Science
Volume
5014
Pagination
pp. 262-277
Publisher
Springer
Publication Date
2008
ISBN-13
978-3-540-68235-6
Conference proceedings
FM