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

Lars Michael Kristensen, Vegard Veiset (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics