%0 Conference Paper %1 conf/fm/ForejtKNS14 %A Forejt, Vojtech %A Kroening, Daniel %A Narayanaswamy, Ganesh %A Sharma, Subodh %B FM %D 2014 %E Jones, Cliff B. %E Pihlajasaari, Pekka %E Sun, Jun %I Springer %K dblp %P 263-278 %T Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs. %U http://dblp.uni-trier.de/db/conf/fm/fm2014.html#ForejtKNS14 %V 8442 %@ 978-3-319-06409-3

@inproceedings{conf/fm/ForejtKNS14, added-at = {2019-11-04T00:00:00.000+0100}, author = {Forejt, Vojtech and Kroening, Daniel and Narayanaswamy, Ganesh and Sharma, Subodh}, biburl = {https://www.bibsonomy.org/bibtex/2ef89a8639a3b4be21500fdcf6fbb1ff0/dblp}, booktitle = {FM}, crossref = {conf/fm/2014}, editor = {Jones, Cliff B. and Pihlajasaari, Pekka and Sun, Jun}, ee = {https://doi.org/10.1007/978-3-319-06410-9_19}, interhash = {e475958fd810a1c48c4afe46184986d8}, intrahash = {ef89a8639a3b4be21500fdcf6fbb1ff0}, isbn = {978-3-319-06409-3}, keywords = {dblp}, pages = {263-278}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-11-05T11:42:24.000+0100}, title = {Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs.}, url = {http://dblp.uni-trier.de/db/conf/fm/fm2014.html#ForejtKNS14}, volume = 8442, year = 2014 }