Items where authors include "Kwiatkowska, M."

[up] Up a level
Jump to: Article
Number of items: 1.

Article

Draeger, K., Kwiatkowska, M., Parker, D. et al. (1 more author) (2014) Local abstraction refinement for probabilistic timed programs. Theoretical Computer Science, 538. pp. 37-53. ISSN 0304-3975

This list was generated on Wed Apr 2 10:38:34 2025 BST.