@InProceedings{   DBLP:conf/cav/LaarmanODLP13,
  Author        = "Laarman, Alfons and Olesen, Mads Chr. and Dalsgaard, Andreas Engelbredt and Larsen, Kim Guldstrand and van de Pol, Jaco",
  bibsource     = "DBLP, http://dblp.uni-trier.de",
  BookTitle     = "CAV",
  date-added    = "2013-07-15 10:26:31 +0000",
  date-modified = "2013-07-15 10:26:31 +0000",
  ee            = "http://dx.doi.org/10.1007/978-3-642-39799-8\_69",
  Pages         = "968-983",
  Title         = {Multi-core Emptiness Checking of Timed B{\"u}chi Automata Using Inclusion Abstraction},
  Year          = "2013",
  File          = "Multi-core Emptiness Checking of Timed Büchi Automata Using Inclusion Abstraction - Laarman, Olesen, Dalsgaard, Larsen, Pol (0) (0) - a - a - l.pdf"
}

@InProceedings{ DBLP:conf/cav/LaarmanODLP13, Author = "Laarman, Alfons and Olesen, Mads Chr. and Dalsgaard, Andreas Engelbredt and Larsen, Kim Guldstrand and van de Pol, Jaco", bibsource = "DBLP, http://dblp.uni-trier.de", BookTitle = "CAV", date-added = "2013-07-15 10:26:31 +0000", date-modified = "2013-07-15 10:26:31 +0000", ee = "http://dx.doi.org/10.1007/978-3-642-39799-8_69", Pages = "968-983", Title = {Multi-core Emptiness Checking of Timed B{\"u}chi Automata Using Inclusion Abstraction}, Year = "2013", File = "Multi-core Emptiness Checking of Timed Büchi Automata Using Inclusion Abstraction - Laarman, Olesen, Dalsgaard, Larsen, Pol (0) (0) - a - a - l.pdf" }