@inproceedings{DBLP:conf/tacas/GrigoreDPT13,
  title = "Runtime Verification Based on Register Automata",
  author = "Radu Grigore and Dino Distefano and Rasmus Lerchedahl Petersen and Nikos Tzevelekos",
  year = "2013",
  booktitle = "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",
}