@inproceedings{MBLB2016,
 address = {Cham},
 author = {Jan Mrázek and Petr Bauch and Henrich Lauko and Jiří Barnat},
 booktitle = {{Model Checking Software: 23rd International Symposium, SPIN}},
 doi = {10.1007/978-3-319-32582-8_14},
 editor = {Bošnački, Dragana and Wijs, Anton},
 isbn = {978-3-319-32582-8},
 keywords = {divine,symdivine},
 pages = {208--213},
 publisher = {Springer International Publishing},
 title = {{SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration}},
 url = {http://dx.doi.org/10.1007/978-3-319-32582-8_14},
 year = {2016}
}