%0 Conference Paper %1 conf/atva/AbdullaAC13 %A Abdulla, Parosh Aziz %A Atig, Mohamed Faouzi %A Cederberg, Jonathan %B ATVA %D 2013 %E Hung, Dang Van %E Ogawa, Mizuhito %I Springer %K dblp %P 272-286 %T Analysis of Message Passing Programs Using SMT-Solvers. %U http://dblp.uni-trier.de/db/conf/atva/atva2013.html#AbdullaAC13 %V 8172 %@ 978-3-319-02443-1

@inproceedings{conf/atva/AbdullaAC13, added-at = {2017-05-21T00:00:00.000+0200}, author = {Abdulla, Parosh Aziz and Atig, Mohamed Faouzi and Cederberg, Jonathan}, biburl = {https://www.bibsonomy.org/bibtex/205252fa2406a7d7b110c7c72dca6dc7c/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2013}, editor = {Hung, Dang Van and Ogawa, Mizuhito}, ee = {https://doi.org/10.1007/978-3-319-02444-8_20}, interhash = {33755d485b1b9869f1836a46c17d0838}, intrahash = {05252fa2406a7d7b110c7c72dca6dc7c}, isbn = {978-3-319-02443-1}, keywords = {dblp}, pages = {272-286}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:01:01.000+0200}, title = {Analysis of Message Passing Programs Using SMT-Solvers.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2013.html#AbdullaAC13}, volume = 8172, year = 2013 }