Mohamed Faouzi Atig, Pierre Ganty. Approximating Petri Net Reachability Along Context-free Traces. In Supratik Chakraborty, Amit Kumar, editors, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2011, December 12-14, 2011, Mumbai, India. Volume 13 of LIPIcs, pages 152-163, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2011. [doi]
@inproceedings{AtigG11,
title = {Approximating Petri Net Reachability Along Context-free Traces},
author = {Mohamed Faouzi Atig and Pierre Ganty},
year = {2011},
doi = {10.4230/LIPIcs.FSTTCS.2011.152},
url = {http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2011.152},
researchr = {https://researchr.org/publication/AtigG11},
cites = {0},
citedby = {0},
pages = {152-163},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2011, December 12-14, 2011, Mumbai, India},
editor = {Supratik Chakraborty and Amit Kumar},
volume = {13},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
isbn = {978-3-939897-34-7},
}