Equivalence of probabilistic \(\mu\)-calculus and p-automata

From MaRDI portal
Revision as of 20:00, 2 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:2399249

DOI10.1007/978-3-319-60134-2_6zbMath1489.68122OpenAlexW2617530626MaRDI QIDQ2399249

Nir Piterman, Claudia Cauli

Publication date: 22 August 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-60134-2_6







Cites Work




This page was built for publication: Equivalence of probabilistic \(\mu\)-calculus and p-automata