%0 Conference Paper %1 conf/esorics/OheimbL02 %A von Oheimb, David %A Lotz, Volkmar %B ESORICS %D 2002 %E Gollmann, Dieter %E Karjoth, Günter %E Waidner, Michael %I Springer %K dblp %P 212-228 %T Formal Security Analysis with Interacting State Machines. %U http://dblp.uni-trier.de/db/conf/esorics/esorics2002.html#OheimbL02 %V 2502 %@ 3-540-44345-2

@inproceedings{conf/esorics/OheimbL02, added-at = {2017-05-23T00:00:00.000+0200}, author = {von Oheimb, David and Lotz, Volkmar}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/241b9b56d1cec306756cd4a02db442a88/dblp}, booktitle = {ESORICS}, crossref = {conf/esorics/2002}, editor = {Gollmann, Dieter and Karjoth, Günter and Waidner, Michael}, ee = {https://doi.org/10.1007/3-540-45853-0_13}, interhash = {453529bd07314f40dcd83f6a7e24508c}, intrahash = {41b9b56d1cec306756cd4a02db442a88}, isbn = {3-540-44345-2}, keywords = {dblp}, pages = {212-228}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T17:37:34.000+0200}, title = {Formal Security Analysis with Interacting State Machines.}, url = {http://dblp.uni-trier.de/db/conf/esorics/esorics2002.html#OheimbL02}, volume = 2502, year = 2002 }