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]
@inproceedings{Khan13-7,
title = {Optimizing Verification of Structurally Evolving Algebraic Petri Nets},
author = {Yasir Imtiaz Khan},
year = {2013},
doi = {10.1007/978-3-642-40894-6_6},
url = {http://dx.doi.org/10.1007/978-3-642-40894-6_6},
researchr = {https://researchr.org/publication/Khan13-7},
cites = {0},
citedby = {0},
pages = {64-78},
booktitle = {Software Engineering for Resilient Systems, 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings},
editor = {Anatoliy Gorbenko and Alexander Romanovsky and Vyacheslav S. Kharchenko},
volume = {8166},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-40894-6},
}