Algorithms for Monitoring Real-time Properties

Thumbnail
Metadata only
Author
Basin, David
Klaedtke, Felix
Zălinescu, Eugen
Date
2012
Type
  • Conference Paper
Publication status
published
External links
Search via SFX
Editor
Sen, Koushik
Kurshid, Sarfaz
Book title
Runtime Verification: Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers
Journal / series
Lecture Notes in Computer Science
Volume
7186
Pages / Article No.
260 - 275
Publisher
Springer
Event
2nd International Conference on Runtime Verification (RV 2011), San Francisco, USA, September 27-30, 2011
Organisational unit
03634 - Basin, David / Basin, David  
Notes
.
More
Show all metadata
ETH Bibliography
yes
Altmetrics