Quantitative verification: Models, techniques, and tools (0)

by M Kwiatkowska
Venue:In Proceedings of the Sixth Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium Foundations of Software Engineering