CTLModel-Checking with Graded Quantifiers. Ferrante, A., Napoli, M., & Parente, M. In Cha, S. D., Choi, J., Kim, M., Lee, I., & 0001, M. V., editors, ATVA, volume 5311, of Lecture Notes in Computer Science, pages 18-32, 2008. Springer.
CTLModel-Checking with Graded Quantifiers. [link]Link  CTLModel-Checking with Graded Quantifiers. [link]Paper  bibtex   
@inproceedings{conf/atva/FerranteNP08,
  added-at = {2008-10-21T00:00:00.000+0200},
  author = {Ferrante, Alessandro and Napoli, Margherita and Parente, Mimmo},
  biburl = {http://www.bibsonomy.org/bibtex/2bbd897f94d7f400d2740cb387d78db96/dblp},
  booktitle = {ATVA},
  crossref = {conf/atva/2008},
  editor = {Cha, Sung Deok and Choi, Jin-Young and Kim, Moonzoo and Lee, Insup and 0001, Mahesh Viswanathan},
  ee = {http://dx.doi.org/10.1007/978-3-540-88387-6_4},
  interhash = {e7323b67ecbb9bdbf89ee3d3bc4eac57},
  intrahash = {bbd897f94d7f400d2740cb387d78db96},
  isbn = {978-3-540-88386-9},
  keywords = {dblp},
  pages = {18-32},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2015-06-18T14:07:01.000+0200},
  title = {CTLModel-Checking with Graded Quantifiers.},
  url = {http://dblp.uni-trier.de/db/conf/atva/atva2008.html#FerranteNP08},
  volume = 5311,
  year = 2008
}

Downloads: 0