DBLP BibTeX Record 'conf/memics/JacobsenJM09'

@inproceedings{DBLP:conf/memics/JacobsenJM09,
  author    = {Lasse Jacobsen and
               Morten Jacobsen and
               Mikael H. M{\o}ller},
  title     = {Undecidability of Coverability and Boundedness for Timed-Arc
               Petri Nets with Invariants},
  booktitle = {MEMICS},
  year      = {2009},
  ee        = {http://drops.dagstuhl.de/opus/volltexte/2009/2346},
  crossref  = {DBLP:conf/memics/2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/memics/2009,
  editor    = {Petr Hlinen{\'y} and
               V{\'a}clav Maty{\'a}s and
               Tom{\'a}s Vojnar},
  title     = {Annual Doctoral Workshop on Mathematical and Engineering
               Methods in Computer Science, MEMICS 2009, November 13-15,
               2009, Prestige Hotel, Znojmo, Czech Republic},
  booktitle = {MEMICS},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  series    = {OASICS},
  volume    = {13},
  year      = {2009},
  ee        = {http://drops.dagstuhl.de/portals/09006/},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}