Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Babich, F., Deotto, L.: Formal methods for the specification, analysis of communication protocols. IEEE Commun. Surv. 4(1), 2–20 (2002). Third Quarter
2. Lecture Notes in Computer Science,1999
3. Lecture Notes in Computer Science;J Billington,2004
4. Billington, J., Vanit-Anunchai, S., Gallasch, G.E.: Parameterised Coloured Petri Net channel models. Trans. Petri Nets Other Models Concurrency 3, 71–97 (2009)
5. CPN Tools home page. http://cpntools.org
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献