%0 Conference Paper %1 conf/mompes/SimonsenK12 %A Simonsen, Kent Inge Fagerland %A Kristensen, Lars Michael %B MOMPES %D 2012 %E Machado, Ricardo Jorge %E Maciel, Rita Suzana Pitangueira %E Rubin, Julia %E Botterweck, Goetz %I Springer %K dblp %P 106-125 %T Towards a CPN-Based Modelling Approach for Reconciling Verification and Implementation of Protocol Models. %U http://dblp.uni-trier.de/db/conf/mompes/mompes2012.html#SimonsenK12 %V 7706 %@ 978-3-642-38209-3

@inproceedings{conf/mompes/SimonsenK12, added-at = {2017-05-17T00:00:00.000+0200}, author = {Simonsen, Kent Inge Fagerland and Kristensen, Lars Michael}, biburl = {https://www.bibsonomy.org/bibtex/2201826738a2a7dfa1c6b2ce78a6d48d9/dblp}, booktitle = {MOMPES}, crossref = {conf/mompes/2012}, editor = {Machado, Ricardo Jorge and Maciel, Rita Suzana Pitangueira and Rubin, Julia and Botterweck, Goetz}, ee = {https://doi.org/10.1007/978-3-642-38209-3_7}, interhash = {24f9221ea30bf0d1b8fae88f69e4580d}, intrahash = {201826738a2a7dfa1c6b2ce78a6d48d9}, isbn = {978-3-642-38209-3}, keywords = {dblp}, pages = {106-125}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T19:21:01.000+0200}, title = {Towards a CPN-Based Modelling Approach for Reconciling Verification and Implementation of Protocol Models.}, url = {http://dblp.uni-trier.de/db/conf/mompes/mompes2012.html#SimonsenK12}, volume = 7706, year = 2012 }