The MonPoly Monitoring Tool

Thumbnail
Metadata only
Author
Basin, David
Klaedtke, Felix
Zălinescu, Eugen
Date
2017-12-14
Type
    Conference Paper
Publication status
published
External links
Editor
Reger, Giles
Havelund, Klaus
Book title
RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools
Journal / series
Kalpa Publications in Computing
Volume
3
Pages / Article No.
19 - 28
Publisher
EasyChair
Event
RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, Seattle, WA, USA, September 15, 2017
Organisational unit
03634 - Basin, David / Basin, David  
Notes
Poster presented on September 15, 2017.
More
Show all metadata
ETH Bibliography
yes
Altmetrics