%0 Conference Paper %1 conf/pstv/Miller90 %A Miller, Raymond E. %B PSTV %D 1990 %E Logrippo, Luigi %E Probert, Robert L. %E Ural, Hasan %I North-Holland %K dblp %P 199-225 %T Protocol verification: the first ten years, the next ten years; some personal observations. %U http://dblp.uni-trier.de/db/conf/pstv/pstv1990.html#Miller90 %@ 0-444-88810-1

@inproceedings{conf/pstv/Miller90, added-at = {2002-01-03T00:00:00.000+0100}, author = {Miller, Raymond E.}, biburl = {https://www.bibsonomy.org/bibtex/2cfa4c80aca3c3b72a65c745c3b84bb90/dblp}, booktitle = {PSTV}, crossref = {conf/pstv/1990}, date = {2002-01-03}, description = {dblp}, editor = {Logrippo, Luigi and Probert, Robert L. and Ural, Hasan}, interhash = {a993432e36d597ee966c07f8de7b41b0}, intrahash = {cfa4c80aca3c3b72a65c745c3b84bb90}, isbn = {0-444-88810-1}, keywords = {dblp}, pages = {199-225}, publisher = {North-Holland}, timestamp = {2002-01-03T00:00:00.000+0100}, title = {Protocol verification: the first ten years, the next ten years; some personal observations.}, url = {http://dblp.uni-trier.de/db/conf/pstv/pstv1990.html#Miller90}, year = 1990 }