%0 Conference Paper %1 conf/hvc/MahdiSNFB16 %A Mahdi, Ahmed %A Scheibler, Karsten %A Neubauer, Felix %A Fränzle, Martin %A Becker, Bernd %B Haifa Verification Conference %D 2016 %E Bloem, Roderick %E Arbel, Eli %K dblp %P 186-201 %T Advancing Software Model Checking Beyond Linear Arithmetic Theories. %U http://dblp.uni-trier.de/db/conf/hvc/hvc2016.html#MahdiSNFB16 %V 10028 %@ 978-3-319-49051-9

@inproceedings{conf/hvc/MahdiSNFB16, added-at = {2023-03-21T00:00:00.000+0100}, author = {Mahdi, Ahmed and Scheibler, Karsten and Neubauer, Felix and Fränzle, Martin and Becker, Bernd}, biburl = {https://www.bibsonomy.org/bibtex/2d5555164ccf350d9befbbec5f7a1b107/dblp}, booktitle = {Haifa Verification Conference}, crossref = {conf/hvc/2016}, editor = {Bloem, Roderick and Arbel, Eli}, ee = {https://doi.org/10.1007/978-3-319-49052-6_12}, interhash = {1534d73e0e6a38bcf5a076b974948f59}, intrahash = {d5555164ccf350d9befbbec5f7a1b107}, isbn = {978-3-319-49051-9}, keywords = {dblp}, pages = {186-201}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T20:57:00.000+0200}, title = {Advancing Software Model Checking Beyond Linear Arithmetic Theories.}, url = {http://dblp.uni-trier.de/db/conf/hvc/hvc2016.html#MahdiSNFB16}, volume = 10028, year = 2016 }