%0 Journal Article %1 journals/eceasst/BozzanoCLMMRT11 %A Bozzano, Marco %A Cimatti, Alessandro %A Lisagor, Oleg %A Mattarei, Cristian %A Mover, Sergio %A Roveri, Marco %A Tonetta, Stefano %D 2011 %J Electron. Commun. Eur. Assoc. Softw. Sci. Technol. %K dblp %T Symbolic Model Checking and Safety Assessment of Altarica models. %U http://dblp.uni-trier.de/db/journals/eceasst/eceasst46.html#BozzanoCLMMRT11 %V 46

@article{journals/eceasst/BozzanoCLMMRT11, added-at = {2021-10-14T00:00:00.000+0200}, author = {Bozzano, Marco and Cimatti, Alessandro and Lisagor, Oleg and Mattarei, Cristian and Mover, Sergio and Roveri, Marco and Tonetta, Stefano}, biburl = {https://www.bibsonomy.org/bibtex/27e9b770664192269e8ed8e42731b006d/dblp}, ee = {https://doi.org/10.14279/tuj.eceasst.46.697}, interhash = {9105d20c40cce0ad603d1b05ecc8b856}, intrahash = {7e9b770664192269e8ed8e42731b006d}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, keywords = {dblp}, timestamp = {2024-04-08T20:52:52.000+0200}, title = {Symbolic Model Checking and Safety Assessment of Altarica models.}, url = {http://dblp.uni-trier.de/db/journals/eceasst/eceasst46.html#BozzanoCLMMRT11}, volume = 46, year = 2011 }