Yasir Imtiaz Khan. Optimizing Verification of Structurally Evolving Algebraic Petri Nets. In Anatoliy Gorbenko, Alexander Romanovsky, Vyacheslav S. Kharchenko, editors, Software Engineering for Resilient Systems, 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings. Volume 8166 of Lecture Notes in Computer Science, pages 64-78, Springer, 2013. [doi]
No references recorded for this publication.
No citations of this publication recorded.