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 Sun Jan 4 21:09:48 2026 GMT.