Marta Kwiatkowska
![Arxiv:1906.09142V3 [Cs.LO] 17 Jul 2019 Reason About a Range of Quantitative Aspects of a System’S Behaviour: Probability, Time, Resource Usage, and Many Others](http://data.docslib.org/img/264x/35e39ef39859259146f2d82fc1b6b2e3.webp)
Top View
- Probabilistic Model Checking: Advances and Applications 3
- 10760 Annual Report 2005 05/07/2012 08:15 Page 4
- Encaenia 2019
- Biomedical and Life Sciences
- Modeling and Verifying Parallel Processes
- Association for Computing Machinery 2 Penn Plaza, Suite 701, New York
- Contributors to the Climate Change
- Martha-Interview.Pdf
- Directory 2016