Go to the corresponding LIPIcs Volume Portal 
Atig, Mohamed Faouzi ; Ganty, Pierre
pdfformat: 

@InProceedings{atig_et_al:LIPIcs:2011:3344, author = {Mohamed Faouzi Atig and Pierre Ganty}, title = {{Approximating Petri Net Reachability Along Contextfree Traces}}, booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2011)}, pages = {152163}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783939897347}, ISSN = {18688969}, year = {2011}, volume = {13}, editor = {Supratik Chakraborty and Amit Kumar}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2011/3344}, URN = {urn:nbn:de:0030drops33448}, doi = {10.4230/LIPIcs.FSTTCS.2011.152}, annote = {Keywords: Petri nets, Contextfree Grammars, Reachability Problem} }
Keywords:  Petri nets, Contextfree Grammars, Reachability Problem  
Seminar:  IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2011)  
Issue Date:  2011  
Date of publication:  01.12.2011 