\emph{Don't know} for Multi-valued Systems
| Title | \emph{Don't know} for Multi-valued Systems |
| Publication Type | Conference Paper |
| Year of Publication | 2009 |
| Authors | Campetelli, A, Gruler, A, Leucker, M, Thoma, D |
| Editor | Liu, Z, Ravn, AP \ |
| Conference Name | Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09) |
| Volume | 5799 |
| Publisher | Springer |
| URL | http://dx.doi.org/10.1007/978-3-642-04761-9_22 |
| DOI | 10.1007/978-3-642-04761-9_22 |
Bibtex:
@inproceedings {CapetelliGLT09,
title = {\emph{Don{\textquoteright}t know} for Multi-valued Systems},
booktitle = {Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis (ATVA{\textquoteright}09)},
volume = {5799},
year = {2009},
pages = {289{\textendash}305},
publisher = {Springer},
organization = {Springer},
doi = {10.1007/978-3-642-04761-9_22},
url = {http://dx.doi.org/10.1007/978-3-642-04761-9_22},
author = {Alarico Campetelli and Alexander Gruler and Martin Leucker and Daniel Thoma},
editor = {Zhiming Liu and Anders P.\ Ravn}
}PDF:
Postscript:
