%0 Conference Paper %1 conf/apn/KristensenV16 %A Kristensen, Lars Michael %A Veiset, Vegard %B Petri Nets %D 2016 %E Kordon, Fabrice %E Moldt, Daniel %I Springer %K dblp %P 135-154 %T Transforming CPN Models into Code for TinyOS: A Case Study of the RPL Protocol. %U http://dblp.uni-trier.de/db/conf/apn/pn2016.html#KristensenV16 %V 9698 %@ 978-3-319-39085-7

@inproceedings{conf/apn/KristensenV16, added-at = {2017-05-26T00:00:00.000+0200}, author = {Kristensen, Lars Michael and Veiset, Vegard}, biburl = {https://www.bibsonomy.org/bibtex/2bb481895c0eaea1d9f46e38dea52dfb3/dblp}, booktitle = {Petri Nets}, crossref = {conf/apn/2016}, editor = {Kordon, Fabrice and Moldt, Daniel}, ee = {https://doi.org/10.1007/978-3-319-39086-4_10}, interhash = {727a5f9e26a0f75ee0afdafdf612392b}, intrahash = {bb481895c0eaea1d9f46e38dea52dfb3}, isbn = {978-3-319-39085-7}, keywords = {dblp}, pages = {135-154}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:59:28.000+0200}, title = {Transforming CPN Models into Code for TinyOS: A Case Study of the RPL Protocol.}, url = {http://dblp.uni-trier.de/db/conf/apn/pn2016.html#KristensenV16}, volume = 9698, year = 2016 }