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:
- News
- Research
- Teaching
- Staff
- Martin Leucker
- Phillip Bende
- Martin Blankenburg
- Gerhard Buntrock
- David Caraveo
- Lukas Convent
- Normann Decker
- Sebastian Hungerecker
- Karam Kharraz
- Uwe Kienitz
- Nikolas Knickrehm
- Christian Kreutzfeldt
- Felix Lange
- Grigory Markin
- Maria Ostanina
- André Pedro
- Torben Scheffel
- Malte Schmitz
- Nina Strugalla
- Annette Stümpel
- Daniel Thoma
- Open Positions
- Contact