%0 Journal Article %1 Bickford2001FormalVerifHybridProtoNuprl %A Bickford, M. %A Kreitz, C. %A Renesse, R. Van %D 2001 %I Citeseer %J Cornell University, Ithaca, NY %K distributed nuprl smr theorem_proving verification %T Formally verifying hybrid protocols with the Nuprl logical programming environment %U http://scholar.google.com/scholar.bib?q=info:22MDZ1JLW9wJ:scholar.google.com/&output=citation&hl=en&as_sdt=2001&as_ylo=1999&ct=citation&cd=0

@article{Bickford2001FormalVerifHybridProtoNuprl, added-at = {2011-01-07T15:10:18.000+0100}, author = {Bickford, M. and Kreitz, C. and Renesse, R. Van}, biburl = {https://www.bibsonomy.org/bibtex/2523878fd49e450f20eeaffce2b1bd7cd/giuliano.losa}, interhash = {3fdd48ee640e2d304fab363081cc27c1}, intrahash = {523878fd49e450f20eeaffce2b1bd7cd}, journal = {Cornell University, Ithaca, NY}, keywords = {distributed nuprl smr theorem_proving verification}, publisher = {Citeseer}, timestamp = {2011-01-07T15:10:18.000+0100}, title = {{Formally verifying hybrid protocols with the Nuprl logical programming environment}}, url = {http://scholar.google.com/scholar.bib?q=info:22MDZ1JLW9wJ:scholar.google.com/&output=citation&hl=en&as_sdt=2001&as_ylo=1999&ct=citation&cd=0}, year = 2001 }