Three-valued abstraction for probabilistic systems

Katoen, Joost-Pieter and Klink, Daniel and Leucker, Martin and Wolf, Verena
(2012) Three-valued abstraction for probabilistic systems.
Journal of Logic and Algebraic Programming, 81 (4). pp. 356-389.

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item