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. 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
{"_id":"KpLFZHwPd4J696m8a","bibbaseid":"ferrante-napoli-parente-ctlmodelcheckingwithgradedquantifiers-2008","downloads":0,"creationDate":"2016-01-30T12:17:58.914Z","title":"CTLModel-Checking with Graded Quantifiers.","author_short":["Ferrante, A.","Napoli, M.","Parente, M."],"year":2008,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/ferrante eliseo?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2008-10-21T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Ferrante"],"firstnames":["Alessandro"],"suffixes":[]},{"propositions":[],"lastnames":["Napoli"],"firstnames":["Margherita"],"suffixes":[]},{"propositions":[],"lastnames":["Parente"],"firstnames":["Mimmo"],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/2bbd897f94d7f400d2740cb387d78db96/dblp","booktitle":"ATVA","crossref":"conf/atva/2008","editor":[{"propositions":[],"lastnames":["Cha"],"firstnames":["Sung","Deok"],"suffixes":[]},{"propositions":[],"lastnames":["Choi"],"firstnames":["Jin-Young"],"suffixes":[]},{"propositions":[],"lastnames":["Kim"],"firstnames":["Moonzoo"],"suffixes":[]},{"propositions":[],"lastnames":["Lee"],"firstnames":["Insup"],"suffixes":[]},{"propositions":[],"lastnames":["0001"],"firstnames":["Mahesh","Viswanathan"],"suffixes":[]}],"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","bibtex":"@inproceedings{conf/atva/FerranteNP08,\n added-at = {2008-10-21T00:00:00.000+0200},\n author = {Ferrante, Alessandro and Napoli, Margherita and Parente, Mimmo},\n biburl = {http://www.bibsonomy.org/bibtex/2bbd897f94d7f400d2740cb387d78db96/dblp},\n booktitle = {ATVA},\n crossref = {conf/atva/2008},\n editor = {Cha, Sung Deok and Choi, Jin-Young and Kim, Moonzoo and Lee, Insup and 0001, Mahesh Viswanathan},\n ee = {http://dx.doi.org/10.1007/978-3-540-88387-6_4},\n interhash = {e7323b67ecbb9bdbf89ee3d3bc4eac57},\n intrahash = {bbd897f94d7f400d2740cb387d78db96},\n isbn = {978-3-540-88386-9},\n keywords = {dblp},\n pages = {18-32},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2015-06-18T14:07:01.000+0200},\n title = {CTLModel-Checking with Graded Quantifiers.},\n url = {http://dblp.uni-trier.de/db/conf/atva/atva2008.html#FerranteNP08},\n volume = 5311,\n year = 2008\n}\n\n","author_short":["Ferrante, A.","Napoli, M.","Parente, M."],"editor_short":["Cha, S. D.","Choi, J.","Kim, M.","Lee, I.","0001, M. V."],"key":"conf/atva/FerranteNP08","id":"conf/atva/FerranteNP08","bibbaseid":"ferrante-napoli-parente-ctlmodelcheckingwithgradedquantifiers-2008","role":"author","urls":{"Link":"http://dx.doi.org/10.1007/978-3-540-88387-6_4","Paper":"http://dblp.uni-trier.de/db/conf/atva/atva2008.html#FerranteNP08"},"keyword":["dblp"],"downloads":0},"search_terms":["ctlmodel","checking","graded","quantifiers","ferrante","napoli","parente"],"keywords":["dblp"],"authorIDs":[],"dataSources":["fdxJKYwAiKyc9RArn"]}