%0 Thesis %1 phd/it/Mattarei16 %A Mattarei, Cristian %D 2016 %K dblp %T Scalable Safety and Reliability Analysis via Symbolic Model Checking: Theory and Applications.

@phdthesis{phd/it/Mattarei16, added-at = {2023-05-06T00:00:00.000+0200}, author = {Mattarei, Cristian}, biburl = {https://www.bibsonomy.org/bibtex/27c8f3d33aef48518dc19421e716c2ba6/dblp}, ee = {https://opac.bncf.firenze.sbn.it/bncf-prod/resource?uri=TD16025485}, interhash = {6722dae348d09ca51e45ad563dd7f1d0}, intrahash = {7c8f3d33aef48518dc19421e716c2ba6}, keywords = {dblp}, school = {University of Trento, Italy}, timestamp = {2024-04-09T09:28:04.000+0200}, title = {Scalable Safety and Reliability Analysis via Symbolic Model Checking: Theory and Applications.}, year = 2016 }