@InProceedings{   GBS02,
  Author        = "Gurumurthy, Sankar and Bloem, Roderick and Somenzi, Fabio",
  BookTitle     = "Proc. of CAV'02",
  date-added    = "2015-10-07 15:14:06 +0000",
  date-modified = "2015-10-07 15:14:06 +0000",
  Pages         = "610--624",
  Publisher     = "Springer",
  Series        = "LNCS",
  Title         = "Fair Simulation Minimization",
  Volume        = "2404",
  Year          = "2002",
  File          = "Fair Simulation Minimization - Gurumurthy, Bloem, Somenzi (0) (0) - a - a - h.pdf"
}

@InProceedings{ GBS02, Author = "Gurumurthy, Sankar and Bloem, Roderick and Somenzi, Fabio", BookTitle = "Proc. of CAV'02", date-added = "2015-10-07 15:14:06 +0000", date-modified = "2015-10-07 15:14:06 +0000", Pages = "610--624", Publisher = "Springer", Series = "LNCS", Title = "Fair Simulation Minimization", Volume = "2404", Year = "2002", File = "Fair Simulation Minimization - Gurumurthy, Bloem, Somenzi (0) (0) - a - a - h.pdf" }