@inproceedings{Abdulla:DiscreteTPDA:2012,
    Address = {Berlin, Heidelberg},
    Author = {Abdulla, Parosh Aziz and Atig, Mohamed Faouzi and Stenman, Jari},
    BookTitle = {Proc. of LATA'12},
    File = {The Minimal Cost Reachability Problem in Priced Timed Pushdown Systems - Abdulla, Atig, Stenman (1) (0) - a - a - c.pdf},
    ISBN = {978-3-642-28331-4},
    Location = {A Coru\&\\#241;a, Spain},
    Pages = {58--69},
    Publisher = {Springer-Verlag},
    Series = {LATA'12},
    Title = {The Minimal Cost Reachability Problem in Priced Timed Pushdown Systems},
    URL = {http://dx.doi.org/10.1007/978-3-642-28332-1\_6},
    Year = {2012},
    acmid = {2238804},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-28332-1\_6},
    date-added = {2013-11-27 17:51:13 +0000},
    date-modified = {2014-10-22 15:43:32 +0000},
    file-2 = {The Minimal Cost Reachability Problem in Priced Timed Pushdown Systems - Abdulla, Atig, Stenman (0) (0) - a - a - c.pdf},
    numpages = {12},
    doi = {10.1007/978-3-642-28332-1_6}
}

@inproceedings{Abdulla:DiscreteTPDA:2012, Address = {Berlin, Heidelberg}, Author = {Abdulla, Parosh Aziz and Atig, Mohamed Faouzi and Stenman, Jari}, BookTitle = {Proc. of LATA'12}, File = {The Minimal Cost Reachability Problem in Priced Timed Pushdown Systems - Abdulla, Atig, Stenman (1) (0) - a - a - c.pdf}, ISBN = {978-3-642-28331-4}, Location = {A Coru\&\#241;a, Spain}, Pages = {58--69}, Publisher = {Springer-Verlag}, Series = {LATA'12}, Title = {The Minimal Cost Reachability Problem in Priced Timed Pushdown Systems}, URL = {http://dx.doi.org/10.1007/978-3-642-28332-1_6}, Year = {2012}, acmid = {2238804}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-28332-1_6}, date-added = {2013-11-27 17:51:13 +0000}, date-modified = {2014-10-22 15:43:32 +0000}, file-2 = {The Minimal Cost Reachability Problem in Priced Timed Pushdown Systems - Abdulla, Atig, Stenman (0) (0) - a - a - c.pdf}, numpages = {12}, doi = {10.1007/978-3-642-28332-1_6} }