%0 Conference Paper %1 conf/mmmacns/Heitmeyer01 %A Heitmeyer, Constance L. %B MMM-ACNS %D 2001 %E Gorodetski, Vladimir I. %E Skormin, Victor A. %E Popyack, Leonard J. %I Springer %K dblp %P 84-89 %T Applying Practical Formal Methods to the Specification and Analysis of Security Properties. %U http://dblp.uni-trier.de/db/conf/mmmacns/mmmacns2001.html#Heitmeyer01 %V 2052 %@ 3-540-42103-3

@inproceedings{conf/mmmacns/Heitmeyer01, added-at = {2017-05-24T00:00:00.000+0200}, author = {Heitmeyer, Constance L.}, biburl = {https://www.bibsonomy.org/bibtex/2ccb2fd371db83c6a16851f3bfbcf29ac/dblp}, booktitle = {MMM-ACNS}, crossref = {conf/mmmacns/2001}, editor = {Gorodetski, Vladimir I. and Skormin, Victor A. and Popyack, Leonard J.}, ee = {https://doi.org/10.1007/3-540-45116-1_11}, interhash = {fcf687b998580b6cfdf2a1f4f3a09864}, intrahash = {ccb2fd371db83c6a16851f3bfbcf29ac}, isbn = {3-540-42103-3}, keywords = {dblp}, pages = {84-89}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:43:02.000+0200}, title = {Applying Practical Formal Methods to the Specification and Analysis of Security Properties.}, url = {http://dblp.uni-trier.de/db/conf/mmmacns/mmmacns2001.html#Heitmeyer01}, volume = 2052, year = 2001 }