%0 Conference Paper %1 journals/corr/AbdullaAS14 %A Abdulla, Parosh Aziz %A Atig, Mohamed Faouzi %A Stenman, Jari %B INFINITY %D 2013 %E Holík, Lukás %E Clemente, Lorenzo %K dblp %P 35-47 %T Zenoness for Timed Pushdown Automata. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs140.html#AbdullaAS14 %V 140

@inproceedings{journals/corr/AbdullaAS14, added-at = {2018-09-12T00:00:00.000+0200}, author = {Abdulla, Parosh Aziz and Atig, Mohamed Faouzi and Stenman, Jari}, biburl = {https://www.bibsonomy.org/bibtex/2deb7a8981df35a9b8357887ed81b9104/dblp}, booktitle = {INFINITY}, crossref = {journals/corr/HolikC14}, editor = {Holík, Lukás and Clemente, Lorenzo}, ee = {http://arxiv.org/abs/1402.6784}, interhash = {9957a34a1d898cc9ecd4877c5892d114}, intrahash = {deb7a8981df35a9b8357887ed81b9104}, keywords = {dblp}, pages = {35-47}, series = {EPTCS}, timestamp = {2020-10-27T13:08:06.000+0100}, title = {Zenoness for Timed Pushdown Automata.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs140.html#AbdullaAS14}, volume = 140, year = 2013 }