John W. O Leary, Murali Talupur, Mark R. Tuttle. Protocol verification using flows: An industrial experience. In Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2009, 15-18 November 2009, Austin, Texas, USA. pages 172-179, IEEE, 2009. [doi]
@inproceedings{OLearyTT09, title = {Protocol verification using flows: An industrial experience}, author = {John W. O Leary and Murali Talupur and Mark R. Tuttle}, year = {2009}, doi = {10.1109/FMCAD.2009.5351126}, url = {http://dx.doi.org/10.1109/FMCAD.2009.5351126}, tags = {protocol, data-flow}, researchr = {https://researchr.org/publication/OLearyTT09}, cites = {0}, citedby = {0}, pages = {172-179}, booktitle = {Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2009, 15-18 November 2009, Austin, Texas, USA}, publisher = {IEEE}, isbn = {978-1-4244-4966-8}, }