%0 Conference Paper %1 conf/tphol/Alves-FossL91 %A Alves-Foss, Jim %A Levitt, Karl N. %B TPHOLs %D 1991 %E Archer, Myla %E Joyce, Jeffrey J. %E Levitt, Karl N. %E Windley, Phillip J. %I IEEE Computer Society %K dblp %P 263-278 %T Mechanical Verification of Secure Distributed Systems in Higher Order Logic. %U http://dblp.uni-trier.de/db/conf/tphol/tphol1991.html#Alves-FossL91

@inproceedings{conf/tphol/Alves-FossL91, added-at = {2017-02-03T00:00:00.000+0100}, author = {Alves-Foss, Jim and Levitt, Karl N.}, biburl = {https://www.bibsonomy.org/bibtex/25a8040b87af78202b6f36467218b28a4/dblp}, booktitle = {TPHOLs}, crossref = {conf/tphol/1991}, editor = {Archer, Myla and Joyce, Jeffrey J. and Levitt, Karl N. and Windley, Phillip J.}, interhash = {2b8c190c0c31fbe08d2627ce1b839c83}, intrahash = {5a8040b87af78202b6f36467218b28a4}, keywords = {dblp}, pages = {263-278}, publisher = {IEEE Computer Society}, timestamp = {2017-02-04T11:38:18.000+0100}, title = {Mechanical Verification of Secure Distributed Systems in Higher Order Logic.}, url = {http://dblp.uni-trier.de/db/conf/tphol/tphol1991.html#Alves-FossL91}, year = 1991 }