Local abstraction refinement for probabilistic timed programs.

Wed, 01 Jan 2014 00:00:00 +0100

Klaus Dräger, Marta Z. Kwiatkowska , David Parker , Hongyang Qu:
Local abstraction refinement for probabilistic timed programs. Theor. Comput. Sci. 538: 37-53 (2014)