Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}