%0 Conference Paper %1 conf/concur/Vardi88 %A Vardi, Moshe Y. %B Concurrency %D 1988 %E Vogt, Friedrich H. %I Springer %K dblp %P 73 %T An Automata-Theoretic Approach to Protocol Verification (Abstract). %U http://dblp.uni-trier.de/db/conf/concur/concur1988.html#Vardi88 %V 335 %@ 0-387-50403-6

@inproceedings{conf/concur/Vardi88, added-at = {2017-05-19T00:00:00.000+0200}, author = {Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/2d3ddaf208e690abb639ce9745809c883/dblp}, booktitle = {Concurrency}, crossref = {conf/concur/1988}, editor = {Vogt, Friedrich H.}, ee = {https://doi.org/10.1007/3-540-50403-6_33}, interhash = {ec2f6a755f64168cf73a5c10baca65f9}, intrahash = {d3ddaf208e690abb639ce9745809c883}, isbn = {0-387-50403-6}, keywords = {dblp}, pages = 73, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-07-24T01:09:00.000+0200}, title = {An Automata-Theoretic Approach to Protocol Verification (Abstract).}, url = {http://dblp.uni-trier.de/db/conf/concur/concur1988.html#Vardi88}, volume = 335, year = 1988 }