@article{DBLP:journals/scp/BozzanoCLMMRT15,
  author    = {Marco Bozzano and
               Alessandro Cimatti and
               Oleg Lisagor and
               Cristian Mattarei and
               Sergio Mover and
               Marco Roveri and
               Stefano Tonetta},
  title     = {Safety assessment of AltaRica models via symbolic model checking},
  journal   = {Sci. Comput. Program.},
  volume    = {98},
  pages     = {464--483},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.scico.2014.06.003},
  doi       = {10.1016/j.scico.2014.06.003},
  timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/scp/BozzanoCLMMRT15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"mKt9J8kHwbRabJzce","bibbaseid":"bozzano-cimatti-lisagor-mattarei-mover-roveri-tonetta-safetyassessmentofaltaricamodelsviasymbolicmodelchecking-2015","author_short":["Bozzano, M.","Cimatti, A.","Lisagor, O.","Mattarei, C.","Mover, S.","Roveri, M.","Tonetta, S."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Marco"],"propositions":[],"lastnames":["Bozzano"],"suffixes":[]},{"firstnames":["Alessandro"],"propositions":[],"lastnames":["Cimatti"],"suffixes":[]},{"firstnames":["Oleg"],"propositions":[],"lastnames":["Lisagor"],"suffixes":[]},{"firstnames":["Cristian"],"propositions":[],"lastnames":["Mattarei"],"suffixes":[]},{"firstnames":["Sergio"],"propositions":[],"lastnames":["Mover"],"suffixes":[]},{"firstnames":["Marco"],"propositions":[],"lastnames":["Roveri"],"suffixes":[]},{"firstnames":["Stefano"],"propositions":[],"lastnames":["Tonetta"],"suffixes":[]}],"title":"Safety assessment of AltaRica models via symbolic model checking","journal":"Sci. Comput. Program.","volume":"98","pages":"464–483","year":"2015","url":"https://doi.org/10.1016/j.scico.2014.06.003","doi":"10.1016/j.scico.2014.06.003","timestamp":"Wed, 17 Feb 2021 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/scp/BozzanoCLMMRT15.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/scp/BozzanoCLMMRT15,\n author = {Marco Bozzano and\n Alessandro Cimatti and\n Oleg Lisagor and\n Cristian Mattarei and\n Sergio Mover and\n Marco Roveri and\n Stefano Tonetta},\n title = {Safety assessment of AltaRica models via symbolic model checking},\n journal = {Sci. Comput. Program.},\n volume = {98},\n pages = {464--483},\n year = {2015},\n url = {https://doi.org/10.1016/j.scico.2014.06.003},\n doi = {10.1016/j.scico.2014.06.003},\n timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/scp/BozzanoCLMMRT15.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Bozzano, M.","Cimatti, A.","Lisagor, O.","Mattarei, C.","Mover, S.","Roveri, M.","Tonetta, S."],"key":"DBLP:journals/scp/BozzanoCLMMRT15","id":"DBLP:journals/scp/BozzanoCLMMRT15","bibbaseid":"bozzano-cimatti-lisagor-mattarei-mover-roveri-tonetta-safetyassessmentofaltaricamodelsviasymbolicmodelchecking-2015","role":"author","urls":{"Paper":"https://doi.org/10.1016/j.scico.2014.06.003"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://dblp.org/pid/83/563.bib","dataSources":["SzPGZamk2BCyHJTQr"],"keywords":[],"search_terms":["safety","assessment","altarica","models","via","symbolic","model","checking","bozzano","cimatti","lisagor","mattarei","mover","roveri","tonetta"],"title":"Safety assessment of AltaRica models via symbolic model checking","year":2015}