%0 Conference Paper %1 conf/tphol/BickfordKRL01 %A Bickford, Mark %A Kreitz, Christoph %A van Renesse, Robbert %A Liu, Xiaoming %B TPHOLs %D 2001 %E Boulton, Richard J. %E Jackson, Paul B. %I Springer %K dblp %P 105-120 %T Proving Hybrid Protocols Correct. %U http://dblp.uni-trier.de/db/conf/tphol/tphol2001.html#BickfordKRL01 %V 2152 %@ 3-540-42525-X

@inproceedings{conf/tphol/BickfordKRL01, added-at = {2017-11-06T00:00:00.000+0100}, author = {Bickford, Mark and Kreitz, Christoph and van Renesse, Robbert and Liu, Xiaoming}, biburl = {https://www.bibsonomy.org/bibtex/2ff516fe21c5297c4023e56c01f897868/dblp}, booktitle = {TPHOLs}, crossref = {conf/tphol/2001}, editor = {Boulton, Richard J. and Jackson, Paul B.}, ee = {https://doi.org/10.1007/3-540-44755-5_9}, interhash = {6538a4f152a02979509e83011087d988}, intrahash = {ff516fe21c5297c4023e56c01f897868}, isbn = {3-540-42525-X}, keywords = {dblp}, pages = {105-120}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:26:27.000+0200}, title = {Proving Hybrid Protocols Correct.}, url = {http://dblp.uni-trier.de/db/conf/tphol/tphol2001.html#BickfordKRL01}, volume = 2152, year = 2001 }