%0 Journal Article %1 journals/topnoc/KristensenS13 %A Kristensen, Lars Michael %A Simonsen, Kent Inge Fagerland %B Trans. Petri Nets and Other Models of Concurrency %D 2013 %E Jensen, Kurt %E van der Aalst, Wil M. P. %E Balbo, Gianfranco %E Koutny, Maciej %E Wolf, Karsten %I Springer %J Trans. Petri Nets Other Model. Concurr. %K dblp %P 56-115 %T Applications of Coloured Petri Nets for Functional Validation of Protocol Designs. %U http://dblp.uni-trier.de/db/journals/topnoc/topnoc7.html#KristensenS13 %V 7 %@ 978-3-642-38142-3

@article{journals/topnoc/KristensenS13, added-at = {2020-03-13T00:00:00.000+0100}, author = {Kristensen, Lars Michael and Simonsen, Kent Inge Fagerland}, biburl = {https://www.bibsonomy.org/bibtex/2d74913a816f77b0afe81c2aa218a1a78/dblp}, booktitle = {Trans. Petri Nets and Other Models of Concurrency}, crossref = {journals/topnoc/2013-7}, editor = {Jensen, Kurt and van der Aalst, Wil M. P. and Balbo, Gianfranco and Koutny, Maciej and Wolf, Karsten}, ee = {https://doi.org/10.1007/978-3-642-38143-0_3}, interhash = {d782189e0df04574311a701766ba0efb}, intrahash = {d74913a816f77b0afe81c2aa218a1a78}, isbn = {978-3-642-38142-3}, journal = {Trans. Petri Nets Other Model. Concurr.}, keywords = {dblp}, pages = {56-115}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-03-14T12:18:41.000+0100}, title = {Applications of Coloured Petri Nets for Functional Validation of Protocol Designs.}, url = {http://dblp.uni-trier.de/db/journals/topnoc/topnoc7.html#KristensenS13}, volume = 7, year = 2013 }