%0 Conference Paper %1 conf/lata/AbdullaAS14 %A Abdulla, Parosh Aziz %A Atig, Mohamed Faouzi %A Stenman, Jari %B LATA %D 2014 %E Dediu, Adrian-Horia %E Martín-Vide, Carlos %E Sierra-Rodríguez, José Luis %E Truthe, Bianca %I Springer %K dblp %P 62-75 %T Computing Optimal Reachability Costs in Priced Dense-Timed Pushdown Automata. %U http://dblp.uni-trier.de/db/conf/lata/lata2014.html#AbdullaAS14 %V 8370 %@ 978-3-319-04920-5

@inproceedings{conf/lata/AbdullaAS14, added-at = {2017-05-24T00:00:00.000+0200}, author = {Abdulla, Parosh Aziz and Atig, Mohamed Faouzi and Stenman, Jari}, biburl = {https://www.bibsonomy.org/bibtex/2ee3b71875f5e1f28c1e16ad5f2fcd454/dblp}, booktitle = {LATA}, crossref = {conf/lata/2014}, editor = {Dediu, Adrian-Horia and Martín-Vide, Carlos and Sierra-Rodríguez, José Luis and Truthe, Bianca}, ee = {https://doi.org/10.1007/978-3-319-04921-2_5}, interhash = {09ecc639afae28f7018c3877f73f30c5}, intrahash = {ee3b71875f5e1f28c1e16ad5f2fcd454}, isbn = {978-3-319-04920-5}, keywords = {dblp}, pages = {62-75}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T15:00:03.000+0200}, title = {Computing Optimal Reachability Costs in Priced Dense-Timed Pushdown Automata.}, url = {http://dblp.uni-trier.de/db/conf/lata/lata2014.html#AbdullaAS14}, volume = 8370, year = 2014 }