@inproceedings{conf/icfem/FerranteNP09,
  added-at = {2009-11-25T00:00:00.000+0100},
  author = {Ferrante, Alessandro and Napoli, Margherita and Parente, Mimmo},
  biburl = {http://www.bibsonomy.org/bibtex/2022675a219bd85e2bcb76ebb4307da25/dblp},
  booktitle = {ICFEM},
  crossref = {conf/icfem/2009},
  date = {2009-11-25},
  description = {dblp},
  editor = {Breitman, Karin and Cavalcanti, Ana},
  ee = {http://dx.doi.org/10.1007/978-3-642-10373-5_16},
  interhash = {ee10a718464a52217c8043af88bb6e4b},
  intrahash = {022675a219bd85e2bcb76ebb4307da25},
  isbn = {978-3-642-10372-8},
  keywords = {dblp},
  pages = {306-325},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2009-11-25T00:00:00.000+0100},
  title = {Graded-CTL: Satisfiability and Symbolic Model Checking.},
  url = {http://dblp.uni-trier.de/db/conf/icfem/icfem2009.html#FerranteNP09},
  volume = 5885,
  year = 2009
}