Algorithms for Monitoring Real-time Properties

Metadata only

Author

Date

2012

Type

Conference Paper

ETH Bibliography

yes

Altmetrics

Publication status

published

Editor

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

More

ETH Bibliography

yes

Altmetrics

Research Collection