@inproceedings{Abdulla:2009:MCR:1532848.1532881,
    Address = {Berlin, Heidelberg},
    Author = {Abdulla, Parosh Aziz and Mayr, Richard},
    BookTitle = {Proc. of FOSSACS'09},
    File = {Minimal Cost Reachability-Coverability in Priced Timed Petri Nets - Abdulla, Mayr (0) (0) - a - a - o.pdf},
    ISBN = {978-3-642-00595-4},
    Keywords = {Petri nets and timed automata},
    Location = {York, UK},
    Pages = {348--363},
    Publisher = {Springer-Verlag},
    Series = {FOSSACS '09},
    Title = {Minimal Cost Reachability/Coverability in Priced Timed Petri Nets},
    URL = {http://dx.doi.org/10.1007/978-3-642-00596-1\_25},
    Year = {2009},
    acmid = {1532881},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-00596-1\_25},
    date-added = {2012-05-02 16:52:59 +0200},
    date-modified = {2015-03-26 15:51:33 +0000},
    numpages = {16},
    doi = {10.1007/978-3-642-00596-1_25}
}

@inproceedings{Abdulla:2009:MCR:1532848.1532881, Address = {Berlin, Heidelberg}, Author = {Abdulla, Parosh Aziz and Mayr, Richard}, BookTitle = {Proc. of FOSSACS'09}, File = {Minimal Cost Reachability-Coverability in Priced Timed Petri Nets - Abdulla, Mayr (0) (0) - a - a - o.pdf}, ISBN = {978-3-642-00595-4}, Keywords = {Petri nets and timed automata}, Location = {York, UK}, Pages = {348--363}, Publisher = {Springer-Verlag}, Series = {FOSSACS '09}, Title = {Minimal Cost Reachability/Coverability in Priced Timed Petri Nets}, URL = {http://dx.doi.org/10.1007/978-3-642-00596-1_25}, Year = {2009}, acmid = {1532881}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-00596-1_25}, date-added = {2012-05-02 16:52:59 +0200}, date-modified = {2015-03-26 15:51:33 +0000}, numpages = {16}, doi = {10.1007/978-3-642-00596-1_25} }