Cristian Mattarei. Scalable Safety and Reliability Analysis via Symbolic Model Checking: Theory and Applications. PhD thesis, University of Trento, Italy, 2016. [doi]
No references recorded for this publication.
No citations of this publication recorded.