Three-valued abstraction for probabilistic systems

From MaRDI portal
Publication:444484

DOI10.1016/J.JLAP.2012.03.007zbMATH Open1277.68219OpenAlexW1998422337WikidataQ57801178 ScholiaQ57801178MaRDI QIDQ444484FDOQ444484


Authors: Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf Edit this on Wikidata


Publication date: 14 August 2012

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2012.03.007




Recommendations




Cites Work


Cited In (16)

Uses Software





This page was built for publication: Three-valued abstraction for probabilistic systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q444484)