Items where authors include "Kwiatkowska, M."

Up a level
Export as [feed] Atom [feed] RSS
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 Sun Apr 21 02:22:20 2024 BST.