Research Areas
Research Labs
Workshops
Publications
Technical Reports
|
BibTex in ASCII
-
@INPROCEEDINGS{hendren:383, author = "Eric Bodden and Laurie J. Hendren and Patrick Lam and Ondrej Lhotak and Nomair A. Naeem", title = "Collaborative Runtime Verification with Tracematches", booktitle = "Revised Selected Papers from the the 7th International Workshop on Runtime Verification", pages = "22--37", journal = "Springer", volume = "4839", series = "Lecture Notes in Computer Science", year = 2007, note = "ISBN: 978-3-540-77394-8
"}
|
