%0 Conference Paper %1 conf/cav/BenesBDPS17 %A Benes, Nikola %A Brim, Lubos %A Demko, Martin %A Pastva, Samuel %A Safránek, David %B CAV (1) %D 2017 %E Majumdar, Rupak %E Kuncak, Viktor %I Springer %K dblp %P 591-598 %T Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems. %U http://dblp.uni-trier.de/db/conf/cav/cav2017-1.html#BenesBDPS17 %V 10426 %@ 978-3-319-63387-9

@inproceedings{conf/cav/BenesBDPS17, added-at = {2017-07-14T00:00:00.000+0200}, author = {Benes, Nikola and Brim, Lubos and Demko, Martin and Pastva, Samuel and Safránek, David}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/285005e24e44a9b6ae58008361d75673f/dblp}, booktitle = {CAV (1)}, crossref = {conf/cav/2017-1}, editor = {Majumdar, Rupak and Kuncak, Viktor}, ee = {https://doi.org/10.1007/978-3-319-63387-9_29}, interhash = {5d2a5d9a45c65b4cd15a306ae29d828f}, intrahash = {85005e24e44a9b6ae58008361d75673f}, isbn = {978-3-319-63387-9}, keywords = {dblp}, pages = {591-598}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T12:47:10.000+0200}, title = {Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2017-1.html#BenesBDPS17}, volume = 10426, year = 2017 }