Author:
Dworzanski Leonid W.,Lomazova Irina A.
Publisher
Springer International Publishing
Reference28 articles.
1. Lecture Notes in Computer Science;MA Bednarczyk,2005
2. Bloem, R., et al.: Decidability of parameterized verification. Synth. Lect. Distrib. Comput. Theory 6(1), 1–170 (2015). doi: 10.2200/S00658ED1V01Y201508DCT013
3. Chang, L. et al.: Applying a nested Petri net modeling paradigm to coordination of sensor networks with mobile agents. In: Proceedings of Workshop on Petri Nets and Distributed Systems, Xian, China, pp. 132–145 (2008)
4. Lecture Notes in Computer Science;F Cristini,2012
5. Desel, J., Neuendorf, K.-P., Radola, M.-D.: Proving nonreachability by modulo-invariants. Theoret. Comput. Sci. 153(1–2), 49–64 (1996). doi: 10.1016/0304-3975(95)00117-4
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献