%0 Generic %1 o2009protocol %A O'Leary, J. %A Talupur, M. %A Tuttle, M.R. %B Formal Methods in Computer-Aided Design, 2009. FMCAD 2009 %D 2009 %K case_study distributed verification %P 172--179 %T Protocol verification using flows: An industrial experience %U http://scholar.google.com/scholar.bib?q=info:h_Ok5nemssQJ:scholar.google.com/&output=citation&hl=en&as_sdt=2001&as_ylo=1999&ct=citation&cd=1

@conference{o2009protocol, added-at = {2011-01-07T15:12:29.000+0100}, author = {O'Leary, J. and Talupur, M. and Tuttle, M.R.}, biburl = {https://www.bibsonomy.org/bibtex/26547042d4ebf0213f58f04d9b05636b4/giuliano.losa}, booktitle = {Formal Methods in Computer-Aided Design, 2009. FMCAD 2009}, interhash = {49dfac73b9502d366e8495213e3c4fda}, intrahash = {6547042d4ebf0213f58f04d9b05636b4}, keywords = {case_study distributed verification}, organization = {IEEE}, pages = {172--179}, timestamp = {2011-01-07T15:12:29.000+0100}, title = {{Protocol verification using flows: An industrial experience}}, url = {http://scholar.google.com/scholar.bib?q=info:h_Ok5nemssQJ:scholar.google.com/&output=citation&hl=en&as_sdt=2001&as_ylo=1999&ct=citation&cd=1}, year = 2009 }