@Article{         DBLP:journals/jar/GentiliniPP03,
  Author        = "Gentilini, Raffaella and Piazza, Carla and Policriti, Alberto",
  bibsource     = "DBLP, http://dblp.uni-trier.de",
  date-added    = "2012-09-13 09:06:07 +0200",
  date-modified = "2012-09-13 09:12:22 +0200",
  ee            = "http://dx.doi.org/10.1023/A:1027328830731",
  Journal       = "J. Autom. Reasoning",
  Keywords      = "simulation preoder and bisimulation equivalence",
  Number        = "1",
  Pages         = "73-103",
  Title         = "From Bisimulation to Simulation: Coarsest Partition Problems",
  Volume        = "31",
  Year          = "2003",
  File          = "From Bisimulation to Simulation Coarsest Partition Problems - Gentilini, Piazza, Policriti (0) (0) - a - a - p.pdf"
}

@Article{ DBLP:journals/jar/GentiliniPP03, Author = "Gentilini, Raffaella and Piazza, Carla and Policriti, Alberto", bibsource = "DBLP, http://dblp.uni-trier.de", date-added = "2012-09-13 09:06:07 +0200", date-modified = "2012-09-13 09:12:22 +0200", ee = "http://dx.doi.org/10.1023/A:1027328830731", Journal = "J. Autom. Reasoning", Keywords = "simulation preoder and bisimulation equivalence", Number = "1", Pages = "73-103", Title = "From Bisimulation to Simulation: Coarsest Partition Problems", Volume = "31", Year = "2003", File = "From Bisimulation to Simulation Coarsest Partition Problems - Gentilini, Piazza, Policriti (0) (0) - a - a - p.pdf" }