Impartial Anticipation in Runtime Verification
| Title | Impartial Anticipation in Runtime Verification |
| Publication Type | Conference Paper |
| Year of Publication | 2008 |
| Authors | Dong, W, Leucker, M, Schallhart, C |
| Editor | Kim, M, Viswanathan, M |
| Conference Name | Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis (ATVA'08) |
| Volume | 5311 |
| Publisher | Springer |
| URL | http://dx.doi.org/10.1007/978-3-540-88387-6_33 |
| DOI | 10.1007/978-3-540-88387-6_33 |
Bibtex:
@inproceedings {LeuckerDS08,
title = {Impartial Anticipation in Runtime Verification},
booktitle = {Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis (ATVA{\textquoteright}08)},
volume = {5311},
year = {2008},
publisher = {Springer},
organization = {Springer},
doi = {10.1007/978-3-540-88387-6_33},
url = {http://dx.doi.org/10.1007/978-3-540-88387-6_33},
author = {Wei Dong and Martin Leucker and Christian Schallhart},
editor = {Moonzoo Kim and Mahesh Viswanathan}
}PDF:
Postscript:
