%0 Journal Article %1 journals/spe/PervezGKTG10 %A Pervez, Salman %A Gopalakrishnan, Ganesh %A Kirby, Robert M. %A Thakur, Rajeev %A Gropp, William %D 2010 %J Softw., Pract. Exper. %K dblp %N 1 %P 23-43 %T Formal methods applied to high-performance computing software design: a case study of MPI one-sided communication-based locking. %U http://dblp.uni-trier.de/db/journals/spe/spe40.html#PervezGKTG10 %V 40

@article{journals/spe/PervezGKTG10, added-at = {2010-02-04T00:00:00.000+0100}, author = {Pervez, Salman and Gopalakrishnan, Ganesh and Kirby, Robert M. and Thakur, Rajeev and Gropp, William}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/28e4fba89bf81b18a2aebcd81c3efb3aa/dblp}, ee = {http://dx.doi.org/10.1002/spe.946}, interhash = {5b8327ac0883c405d575d04c9e1d89ed}, intrahash = {8e4fba89bf81b18a2aebcd81c3efb3aa}, journal = {Softw., Pract. Exper.}, keywords = {dblp}, number = 1, pages = {23-43}, timestamp = {2016-02-02T03:21:00.000+0100}, title = {Formal methods applied to high-performance computing software design: a case study of MPI one-sided communication-based locking.}, url = {http://dblp.uni-trier.de/db/journals/spe/spe40.html#PervezGKTG10}, volume = 40, year = 2010 }