Safety assessment of AltaRica models via symbolic model checking. Bozzano, M., Cimatti, A., Lisagor, O., Mattarei, C., Mover, S., Roveri, M., & Tonetta, S. Sci. Comput. Program., 98:464–483, 2015.
Paper doi bibtex @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}
}
Downloads: 0
{"_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}