BibTeX record: conf/memics/JacobsenJM09

download as .bib file

@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 = {Annual Doctoral Workshop on Mathematical and Engineering Methods in
               Computer Science, {MEMICS} 2009, November 13-15, 2009, Prestige Hotel,
               Znojmo, Czech Republic},
  year      = {2009},
  crossref  = {DBLP:conf/memics/2009},
  url       = {http://drops.dagstuhl.de/opus/volltexte/2009/2346},
  timestamp = {Sun, 26 Oct 2014 09:39:46 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/memics/JacobsenJM09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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},
  series    = {{OASICS}},
  year      = {2009},
  volume    = {13},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  url       = {http://drops.dagstuhl.de/portals/09006/},
  timestamp = {Sun, 26 Oct 2014 09:39:46 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/memics/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}