%0 Conference Paper %1 conf/fmcad/TalupurRE15 %A Talupur, Murali %A Ray, Sandip %A Erickson, John %B FMCAD %D 2015 %E Kaivola, Roope %E Wahl, Thomas %I IEEE %K dblp %P 168-175 %T Transaction Flows and Executable Models: Formalization and Analysis of Message passing Protocols. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2015.html#TalupurRE15 %@ 978-0-9835-6785-1

@inproceedings{conf/fmcad/TalupurRE15, added-at = {2023-05-30T00:00:00.000+0200}, author = {Talupur, Murali and Ray, Sandip and Erickson, John}, biburl = {https://www.bibsonomy.org/bibtex/29d1705fad0223d64d77c0448651958d6/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2015}, editor = {Kaivola, Roope and Wahl, Thomas}, ee = {https://doi.org/10.1109/FMCAD.2015.7542267}, interhash = {54dcd8dd30e97fa609bf286949329594}, intrahash = {9d1705fad0223d64d77c0448651958d6}, isbn = {978-0-9835-6785-1}, keywords = {dblp}, pages = {168-175}, publisher = {IEEE}, timestamp = {2024-04-09T23:58:44.000+0200}, title = {Transaction Flows and Executable Models: Formalization and Analysis of Message passing Protocols.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2015.html#TalupurRE15}, year = 2015 }