Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf. Three-valued abstraction for probabilistic systems. Journal of Logic and Algebraic Programming, 81(4):356-389, 2012. [doi]
No references recorded for this publication.
No citations of this publication recorded.