Items where authors include "Draeger, K."

[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 Sat Oct 4 20:57:30 2025 BST.