%0 Journal Article %1 journals/concurrency/YangGL05 %A Yang, Yue %A Gopalakrishnan, Ganesh %A Lindstrom, Gary %D 2005 %J Concurr. Pract. Exp. %K dblp %N 5-6 %P 465-487 %T UMM: an operational memory model specification framework with integrated model checking capability. %U http://dblp.uni-trier.de/db/journals/concurrency/concurrency17.html#YangGL05 %V 17

@article{journals/concurrency/YangGL05, added-at = {2020-05-21T00:00:00.000+0200}, author = {Yang, Yue and Gopalakrishnan, Ganesh and Lindstrom, Gary}, biburl = {https://www.bibsonomy.org/bibtex/2329b0f23500e1d3db51e402aa74e3dff/dblp}, ee = {https://doi.org/10.1002/cpe.837}, interhash = {42966385011d0deac4560452d2e5235e}, intrahash = {329b0f23500e1d3db51e402aa74e3dff}, journal = {Concurr. Pract. Exp.}, keywords = {dblp}, number = {5-6}, pages = {465-487}, timestamp = {2020-05-23T12:00:18.000+0200}, title = {UMM: an operational memory model specification framework with integrated model checking capability.}, url = {http://dblp.uni-trier.de/db/journals/concurrency/concurrency17.html#YangGL05}, volume = 17, year = 2005 }