%0 Conference Paper %1 conf/concur/SongMPZ15 %A Song, Fu %A Miao, Weikai %A Pu, Geguang %A Zhang, Min %B CONCUR %D 2015 %E Aceto, Luca %E de Frutos-Escrig, David %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K %P 383-397 %T On Reachability Analysis of Pushdown Systems with Transductions: Application to Boolean Programs with Call-by-Reference. %U http://dblp.uni-trier.de/db/conf/concur/concur2015.html#SongMPZ15 %V 42 %@ 978-3-939897-91-0

@inproceedings{conf/concur/SongMPZ15, added-at = {2023-12-12T21:23:24.000+0100}, author = {Song, Fu and Miao, Weikai and Pu, Geguang and Zhang, Min}, biburl = {https://www.bibsonomy.org/bibtex/2f99d46b28d52f334b3995050425fd6c7/admin}, booktitle = {CONCUR}, crossref = {conf/concur/2015}, editor = {Aceto, Luca and de Frutos-Escrig, David}, ee = {https://doi.org/10.4230/LIPIcs.CONCUR.2015.383}, interhash = {3d71121d961bc6e21d65b991b883b600}, intrahash = {f99d46b28d52f334b3995050425fd6c7}, isbn = {978-3-939897-91-0}, keywords = {}, pages = {383-397}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2023-12-12T21:23:24.000+0100}, title = {On Reachability Analysis of Pushdown Systems with Transductions: Application to Boolean Programs with Call-by-Reference.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2015.html#SongMPZ15}, volume = 42, year = 2015 }