@incollection{AbdullaLATA14,
    Author = {Abdulla, Parosh Aziz and Atig, Mohamed Faouzi and Stenman, Jari},
    BookTitle = {Language and Automata Theory and Applications},
    Editor = {Dediu, Adrian-Horia and Mart{\'\i}n-Vide, Carlos and Sierra-Rodr{\'\i}guez, Jos{\'e}-Luis and Truthe, Bianca},
    File = {Computing Optimal Reachability Costs in Priced Dense-Timed Pushdown Automata - Abdulla, Atig, Stenman (0) (0) - a - a - o.pdf},
    ISBN = {978-3-319-04920-5},
    Language = {English},
    Pages = {62-75},
    Publisher = {Springer International Publishing},
    Series = {Lecture Notes in Computer Science},
    Title = {Computing Optimal Reachability Costs in Priced Dense-Timed Pushdown Automata},
    URL = {http://dx.doi.org/10.1007/978-3-319-04921-2\_5},
    Volume = {8370},
    Year = {2014},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-319-04921-2\_5},
    date-added = {2015-01-06 14:55:37 +0000},
    date-modified = {2017-06-28 13:53:01 +0000},
    doi = {10.1007/978-3-319-04921-2_5}
}

@incollection{AbdullaLATA14, Author = {Abdulla, Parosh Aziz and Atig, Mohamed Faouzi and Stenman, Jari}, BookTitle = {Language and Automata Theory and Applications}, Editor = {Dediu, Adrian-Horia and Mart{\'\i}n-Vide, Carlos and Sierra-Rodr{\'\i}guez, Jos{\'e}-Luis and Truthe, Bianca}, File = {Computing Optimal Reachability Costs in Priced Dense-Timed Pushdown Automata - Abdulla, Atig, Stenman (0) (0) - a - a - o.pdf}, ISBN = {978-3-319-04920-5}, Language = {English}, Pages = {62-75}, Publisher = {Springer International Publishing}, Series = {Lecture Notes in Computer Science}, Title = {Computing Optimal Reachability Costs in Priced Dense-Timed Pushdown Automata}, URL = {http://dx.doi.org/10.1007/978-3-319-04921-2_5}, Volume = {8370}, Year = {2014}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-319-04921-2_5}, date-added = {2015-01-06 14:55:37 +0000}, date-modified = {2017-06-28 13:53:01 +0000}, doi = {10.1007/978-3-319-04921-2_5} }