Runtime Verification Based on Register Automata
Radu Grigore‚ Dino Distefano‚ Rasmus Lerchedahl Petersen and Nikos Tzevelekos
Book Title
Tools and Algorithms for the Construction and Analysis of Systems − 19th International Conference‚ TACAS 2013‚ Held as Part of the European Joint Conferences on Theory and Practice of Software‚ ETAPS 2013‚ Rome‚ Italy‚ March 16−24‚ 2013. Proceedings
Editor
Nir Piterman and Scott A. Smolka
ISBN
978−3−642−36741−0
Pages
260−276
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
7795
Year
2013