Advances in quantitative verification for ubiquitous computing (2013)

by M Kwiatkowska
Venue:In Proc. 11th International Colloquium on Theoretical Aspects of Computing (ICTAC 2013), volume 8049 of LNCS