@Article{         Ranzatoa,
  Author        = "Ranzato, Francesco",
  date-added    = "2013-11-22 20:56:15 +0000",
  date-modified = "2013-11-22 20:56:33 +0000",
  EPrint        = "1212.1089",
  Keywords      = "simulation preoder",
  Month         = "12",
  Title         = "An Efficient Simulation Algorithm on Kripke Structures",
  URL           = "http://arxiv.org/abs/1212.1089",
  Year          = "2012",
  bdsk-url-1    = "http://arxiv.org/abs/1212.1089",
  File          = "An Efficient Simulation Algorithm on Kripke Structures - Ranzato (0) (0) - a - a - p.pdf"
}

@Article{ Ranzatoa, Author = "Ranzato, Francesco", date-added = "2013-11-22 20:56:15 +0000", date-modified = "2013-11-22 20:56:33 +0000", EPrint = "1212.1089", Keywords = "simulation preoder", Month = "12", Title = "An Efficient Simulation Algorithm on Kripke Structures", URL = "http://arxiv.org/abs/1212.1089", Year = "2012", bdsk-url-1 = "http://arxiv.org/abs/1212.1089", File = "An Efficient Simulation Algorithm on Kripke Structures - Ranzato (0) (0) - a - a - p.pdf" }