Constraint Markov chains
From MaRDI portal
Publication:554215
DOI10.1016/j.tcs.2011.05.010zbMath1223.68070MaRDI QIDQ554215
Axel Legay, Andrzej Wąsowski, Benoît Delahaye, Mikkel L. Pedersen, Benoît Caillaud, Kim Guldstrand Larsen
Publication date: 29 July 2011
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2011.05.010
60J10: Markov chains (discrete-time Markov processes on discrete state spaces)
68Q60: Specification and verification (program logics, model checking, etc.)
Uses Software