Combining Deduction and Model Checking into Tableaux and Algorithms for Converse-PDL. Giacomo, G. D. & Massacci, F. Inf. Comput., 162(1-2):117–137, 2000. Paper doi bibtex @article{DBLP:journals/iandc/GiacomoM00,
author = {Giuseppe De Giacomo and
Fabio Massacci},
title = {Combining Deduction and Model Checking into Tableaux and Algorithms
for Converse-PDL},
journal = {Inf. Comput.},
volume = {162},
number = {1-2},
pages = {117--137},
year = {2000},
url = {https://doi.org/10.1006/inco.1999.2852},
doi = {10.1006/inco.1999.2852},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/GiacomoM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"pvTyeWCYr966S3iBE","bibbaseid":"giacomo-massacci-combiningdeductionandmodelcheckingintotableauxandalgorithmsforconversepdl-2000","author_short":["Giacomo, G. D.","Massacci, F."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Giuseppe","De"],"propositions":[],"lastnames":["Giacomo"],"suffixes":[]},{"firstnames":["Fabio"],"propositions":[],"lastnames":["Massacci"],"suffixes":[]}],"title":"Combining Deduction and Model Checking into Tableaux and Algorithms for Converse-PDL","journal":"Inf. Comput.","volume":"162","number":"1-2","pages":"117–137","year":"2000","url":"https://doi.org/10.1006/inco.1999.2852","doi":"10.1006/inco.1999.2852","timestamp":"Fri, 12 Feb 2021 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/iandc/GiacomoM00.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/iandc/GiacomoM00,\n author = {Giuseppe De Giacomo and\n Fabio Massacci},\n title = {Combining Deduction and Model Checking into Tableaux and Algorithms\n for Converse-PDL},\n journal = {Inf. Comput.},\n volume = {162},\n number = {1-2},\n pages = {117--137},\n year = {2000},\n url = {https://doi.org/10.1006/inco.1999.2852},\n doi = {10.1006/inco.1999.2852},\n timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/iandc/GiacomoM00.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Giacomo, G. D.","Massacci, F."],"key":"DBLP:journals/iandc/GiacomoM00","id":"DBLP:journals/iandc/GiacomoM00","bibbaseid":"giacomo-massacci-combiningdeductionandmodelcheckingintotableauxandalgorithmsforconversepdl-2000","role":"author","urls":{"Paper":"https://doi.org/10.1006/inco.1999.2852"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://dblp.org/pid/g/GDGiacomo.bib","dataSources":["nYZATui8QfoZTWDxh"],"keywords":[],"search_terms":["combining","deduction","model","checking","tableaux","algorithms","converse","pdl","giacomo","massacci"],"title":"Combining Deduction and Model Checking into Tableaux and Algorithms for Converse-PDL","year":2000}