%0 Conference Paper %1 conf/padl/ChristakisS11 %A Christakis, Maria %A Sagonas, Konstantinos %B PADL %D 2011 %E Rocha, Ricardo %E Launchbury, John %I Springer %K dblp %P 5-18 %T Detection of Asynchronous Message Passing Errors Using Static Analysis. %U http://dblp.uni-trier.de/db/conf/padl/padl2011.html#ChristakisS11 %V 6539 %@ 978-3-642-18377-5

@inproceedings{conf/padl/ChristakisS11, added-at = {2019-06-02T00:00:00.000+0200}, author = {Christakis, Maria and Sagonas, Konstantinos}, biburl = {https://www.bibsonomy.org/bibtex/2115f50664bede1c50927a09cc3b61b80/dblp}, booktitle = {PADL}, crossref = {conf/padl/2011}, editor = {Rocha, Ricardo and Launchbury, John}, ee = {https://www.wikidata.org/entity/Q58967739}, interhash = {200d084b68c2f8fd289138af2f04f17d}, intrahash = {115f50664bede1c50927a09cc3b61b80}, isbn = {978-3-642-18377-5}, keywords = {dblp}, pages = {5-18}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T13:42:25.000+0200}, title = {Detection of Asynchronous Message Passing Errors Using Static Analysis.}, url = {http://dblp.uni-trier.de/db/conf/padl/padl2011.html#ChristakisS11}, volume = 6539, year = 2011 }