@inproceedings{DBLP:conf/kr/BelardinelliLP12,
  author    = {Francesco Belardinelli and
               Alessio Lomuscio and
               Fabio Patrizi},
  title     = {An Abstraction Technique for the Verification of Artifact-Centric
               Systems},
  booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
               of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
               June 10-14, 2012},
  year      = {2012},
  crossref  = {DBLP:conf/kr/2012},
  url       = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4531},
  timestamp = {Wed, 11 Jul 2012 10:51:15 +0200},
  biburl    = {https://dblp.org/rec/conf/kr/BelardinelliLP12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"Y7nmmA5RD6XyFZ7WD","bibbaseid":"belardinelli-lomuscio-patrizi-anabstractiontechniquefortheverificationofartifactcentricsystems-2012","authorIDs":[],"author_short":["Belardinelli, F.","Lomuscio, A.","Patrizi, F."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Francesco"],"propositions":[],"lastnames":["Belardinelli"],"suffixes":[]},{"firstnames":["Alessio"],"propositions":[],"lastnames":["Lomuscio"],"suffixes":[]},{"firstnames":["Fabio"],"propositions":[],"lastnames":["Patrizi"],"suffixes":[]}],"title":"An Abstraction Technique for the Verification of Artifact-Centric Systems","booktitle":"Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012","year":"2012","crossref":"DBLP:conf/kr/2012","url":"http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4531","timestamp":"Wed, 11 Jul 2012 10:51:15 +0200","biburl":"https://dblp.org/rec/conf/kr/BelardinelliLP12.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/kr/BelardinelliLP12,\n author = {Francesco Belardinelli and\n Alessio Lomuscio and\n Fabio Patrizi},\n title = {An Abstraction Technique for the Verification of Artifact-Centric\n Systems},\n booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings\n of the Thirteenth International Conference, {KR} 2012, Rome, Italy,\n June 10-14, 2012},\n year = {2012},\n crossref = {DBLP:conf/kr/2012},\n url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4531},\n timestamp = {Wed, 11 Jul 2012 10:51:15 +0200},\n biburl = {https://dblp.org/rec/conf/kr/BelardinelliLP12.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Belardinelli, F.","Lomuscio, A.","Patrizi, F."],"key":"DBLP:conf/kr/BelardinelliLP12","id":"DBLP:conf/kr/BelardinelliLP12","bibbaseid":"belardinelli-lomuscio-patrizi-anabstractiontechniquefortheverificationofartifactcentricsystems-2012","role":"author","urls":{"Paper":"http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4531"},"downloads":0},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/whitemech/whitemech.github.io/master/whitemech-publications.bib","creationDate":"2020-03-01T13:35:45.424Z","downloads":0,"keywords":[],"search_terms":["abstraction","technique","verification","artifact","centric","systems","belardinelli","lomuscio","patrizi"],"title":"An Abstraction Technique for the Verification of Artifact-Centric Systems","year":2012,"dataSources":["a7J9cXfn5aGm5Rka2"]}