Quantitative verification: models techniques and tools (2007)

by M Z Kwiatkowska
Venue:ESEC/SIGSOFT FSE