%0 Conference Paper %1 conf/fmics/EekelenHSU07 %A van Eekelen, Marko C. J. D. %A ten Hoedt, Stefan %A Schreurs, René %A Usenko, Yaroslav S. %B FMICS %D 2007 %E Leue, Stefan %E Merino, Pedro %I Springer %K dblp %P 182-199 %T Analysis of a Session-Layer Protocol in mCRL2. %U http://dblp.uni-trier.de/db/conf/fmics/fmics2007.html#EekelenHSU07 %V 4916 %@ 978-3-540-79706-7

@inproceedings{conf/fmics/EekelenHSU07, added-at = {2017-05-21T00:00:00.000+0200}, author = {van Eekelen, Marko C. J. D. and ten Hoedt, Stefan and Schreurs, René and Usenko, Yaroslav S.}, biburl = {https://www.bibsonomy.org/bibtex/20f8df0a6b33344c27bd0b114a8dc9a9e/dblp}, booktitle = {FMICS}, crossref = {conf/fmics/2007}, editor = {Leue, Stefan and Merino, Pedro}, ee = {https://doi.org/10.1007/978-3-540-79707-4_14}, interhash = {e8f9bd191285cbe7eb1eeedec441abc5}, intrahash = {0f8df0a6b33344c27bd0b114a8dc9a9e}, isbn = {978-3-540-79706-7}, keywords = {dblp}, pages = {182-199}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:51:53.000+0200}, title = {Analysis of a Session-Layer Protocol in mCRL2.}, url = {http://dblp.uni-trier.de/db/conf/fmics/fmics2007.html#EekelenHSU07}, volume = 4916, year = 2007 }