Publication Overview

Joost-Pieter Katoen and Daniel Klink and Martin Leucker and Verena Wolf

Three-valued abstraction for probabilistic systems

Published in: J. Log. Algebr. Program.
Year: 2012
Volume: 81
Pages: 356-389