Author:
Kristensen Lars Michael,Veiset Vegard
Publisher
Springer International Publishing
Reference15 articles.
1. Levis, P., et al.: TOSSIM: accurate and scalable simulation of entire TinyOS applications. In: Proceedings of SenSys 2003, pp. 126–137. ACM (2003)
2. Winter, T., et al.: RPL: IPv6 routing protocol for low-power and lossy networks. RFC 6550, 2012. Internet Engineering Task Force (2012)
3. Jensen, K., Kristensen, L.M.: Coloured Petri nets: a graphical language for modelling and validation of concurrent systems. CACM 58(6), 61–70 (2015)
4. El Kaim, W., Kordon, F.: Code generation (Chap. 21). In: Girault, C., Valk, R. (eds.) Petri Nets for System Engineering, pp. 433–470. Springer, Berlin (2003)
5. Lecture Notes in Computer Science;LM Kristensen,2010
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献