@inproceedings{DBLP:conf/icsoc/BelardinelliLP12,
  author    = {Francesco Belardinelli and
               Alessio Lomuscio and
               Fabio Patrizi},
  title     = {Verification of GSM-Based Artifact-Centric Systems through Finite
               Abstraction},
  booktitle = {Service-Oriented Computing - 10th International Conference, {ICSOC}
               2012, Shanghai, China, November 12-15, 2012. Proceedings},
  pages     = {17--31},
  year      = {2012},
  crossref  = {DBLP:conf/icsoc/2012},
  url       = {https://doi.org/10.1007/978-3-642-34321-6\_2},
  doi       = {10.1007/978-3-642-34321-6\_2},
  timestamp = {Tue, 14 May 2019 10:00:36 +0200},
  biburl    = {https://dblp.org/rec/conf/icsoc/BelardinelliLP12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"gFdpAy25pjMXk5Lmk","bibbaseid":"belardinelli-lomuscio-patrizi-verificationofgsmbasedartifactcentricsystemsthroughfiniteabstraction-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":"Verification of GSM-Based Artifact-Centric Systems through Finite Abstraction","booktitle":"Service-Oriented Computing - 10th International Conference, ICSOC 2012, Shanghai, China, November 12-15, 2012. Proceedings","pages":"17–31","year":"2012","crossref":"DBLP:conf/icsoc/2012","url":"https://doi.org/10.1007/978-3-642-34321-6_2","doi":"10.1007/978-3-642-34321-6_2","timestamp":"Tue, 14 May 2019 10:00:36 +0200","biburl":"https://dblp.org/rec/conf/icsoc/BelardinelliLP12.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/icsoc/BelardinelliLP12,\n author = {Francesco Belardinelli and\n Alessio Lomuscio and\n Fabio Patrizi},\n title = {Verification of GSM-Based Artifact-Centric Systems through Finite\n Abstraction},\n booktitle = {Service-Oriented Computing - 10th International Conference, {ICSOC}\n 2012, Shanghai, China, November 12-15, 2012. Proceedings},\n pages = {17--31},\n year = {2012},\n crossref = {DBLP:conf/icsoc/2012},\n url = {https://doi.org/10.1007/978-3-642-34321-6\\_2},\n doi = {10.1007/978-3-642-34321-6\\_2},\n timestamp = {Tue, 14 May 2019 10:00:36 +0200},\n biburl = {https://dblp.org/rec/conf/icsoc/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/icsoc/BelardinelliLP12","id":"DBLP:conf/icsoc/BelardinelliLP12","bibbaseid":"belardinelli-lomuscio-patrizi-verificationofgsmbasedartifactcentricsystemsthroughfiniteabstraction-2012","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-642-34321-6_2"},"downloads":0},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/whitemech/whitemech.github.io/master/whitemech-publications.bib","creationDate":"2020-03-01T13:35:45.423Z","downloads":0,"keywords":[],"search_terms":["verification","gsm","based","artifact","centric","systems","through","finite","abstraction","belardinelli","lomuscio","patrizi"],"title":"Verification of GSM-Based Artifact-Centric Systems through Finite Abstraction","year":2012,"dataSources":["a7J9cXfn5aGm5Rka2"]}