Vladimír Still, Petr Rockai, Jiri Barnat. Context-Switch-Directed Verification in DIVINE. In Petr Hlinený, Zdenek Dvorak, Jirí Jaros, Jan Kofron, Jan Korenek, Petr Matula, Karel Pala, editors, Mathematical and Engineering Methods in Computer Science - 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17-19, 2014, Revised Selected Papers. Volume 8934 of Lecture Notes in Computer Science, pages 135-146, Springer, 2014. [doi]
@inproceedings{StillRB14,
title = {Context-Switch-Directed Verification in DIVINE},
author = {Vladimír Still and Petr Rockai and Jiri Barnat},
year = {2014},
doi = {10.1007/978-3-319-14896-0_12},
url = {http://dx.doi.org/10.1007/978-3-319-14896-0_12},
researchr = {https://researchr.org/publication/StillRB14},
cites = {0},
citedby = {0},
pages = {135-146},
booktitle = {Mathematical and Engineering Methods in Computer Science - 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17-19, 2014, Revised Selected Papers},
editor = {Petr Hlinený and Zdenek Dvorak and Jirí Jaros and Jan Kofron and Jan Korenek and Petr Matula and Karel Pala},
volume = {8934},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-14895-3},
}