Runtime Verification Based on Register Automata

View/Open
Volume
7795
Pagination
260 - 276
Journal
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2013
ISSN
0302-9743
Metadata
Show full item record
Authors
Grigore, R; Distefano, D; Petersen, RL; Tzevelekos, N
URI
http://qmro.qmul.ac.uk/xmlui/handle/123456789/19031
Collections
Copyright statements
© Springer International Publishing AG