%0 Conference Paper %1 conf/spin/MrazekBLB16 %A Mrázek, Jan %A Bauch, Petr %A Lauko, Henrich %A Barnat, Jiri %B SPIN %D 2016 %E Bosnacki, Dragan %E Wijs, Anton %I Springer %K dblp %P 208-213 %T SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration. %U http://dblp.uni-trier.de/db/conf/spin/spin2016.html#MrazekBLB16 %V 9641 %@ 978-3-319-32581-1

@inproceedings{conf/spin/MrazekBLB16, added-at = {2022-10-02T00:00:00.000+0200}, author = {Mrázek, Jan and Bauch, Petr and Lauko, Henrich and Barnat, Jiri}, biburl = {https://www.bibsonomy.org/bibtex/2f57e742cedc48797dcc8748cfdcbfb60/dblp}, booktitle = {SPIN}, crossref = {conf/spin/2016}, editor = {Bosnacki, Dragan and Wijs, Anton}, ee = {https://doi.org/10.1007/978-3-319-32582-8_14}, interhash = {16fce61b80e50eba4380641c9802e4a6}, intrahash = {f57e742cedc48797dcc8748cfdcbfb60}, isbn = {978-3-319-32581-1}, keywords = {dblp}, pages = {208-213}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T13:54:50.000+0200}, title = {SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration.}, url = {http://dblp.uni-trier.de/db/conf/spin/spin2016.html#MrazekBLB16}, volume = 9641, year = 2016 }