%0 Conference Paper %1 conf/dagstuhl/ChenKR07 %A Chen, Liqun %A Kremer, Steve %A Ryan, Mark Dermot %B Formal Protocol Verification Applied %D 2007 %E Chen, Liqun %E Kremer, Steve %E Ryan, Mark Dermot %I Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany %K dblp %T 07421 Executive Summary -- Formal Protocol Verification Applied. %U http://dblp.uni-trier.de/db/conf/dagstuhl/P7421.html#ChenKR07 %V 07421

@inproceedings{conf/dagstuhl/ChenKR07, added-at = {2023-01-22T00:00:00.000+0100}, author = {Chen, Liqun and Kremer, Steve and Ryan, Mark Dermot}, biburl = {https://www.bibsonomy.org/bibtex/2fc5b1823bd7e6d3920d5727b638c5fb5/dblp}, booktitle = {Formal Protocol Verification Applied}, crossref = {conf/dagstuhl/2007P7421}, editor = {Chen, Liqun and Kremer, Steve and Ryan, Mark Dermot}, ee = {http://drops.dagstuhl.de/opus/volltexte/2008/1418}, interhash = {b886b711c93e5c995cfb3f22c8d770df}, intrahash = {fc5b1823bd7e6d3920d5727b638c5fb5}, keywords = {dblp}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, series = {Dagstuhl Seminar Proceedings}, timestamp = {2024-04-09T10:25:08.000+0200}, title = {07421 Executive Summary -- Formal Protocol Verification Applied.}, url = {http://dblp.uni-trier.de/db/conf/dagstuhl/P7421.html#ChenKR07}, volume = 07421, year = 2007 }