External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Transforming CPN Models into Code for TinyOS: A Case Study of the RPL Protocol

Lars Michael Kristensen, Vegard Veiset. Transforming CPN Models into Code for TinyOS: A Case Study of the RPL Protocol. In Fabrice Kordon, Daniel Moldt, editors, Application and Theory of Petri Nets and Concurrency - 37th International Conference, PETRI NETS 2016, ToruĊ„, Poland, June 19-24, 2016. Proceedings. Volume 9698 of Lecture Notes in Computer Science, pages 135-154, Springer, 2016. [doi]

Authors

Lars Michael Kristensen

This author has not been identified. Look up 'Lars Michael Kristensen' in Google

Vegard Veiset

This author has not been identified. Look up 'Vegard Veiset' in Google
runs on