Detecting and exploiting symmetry in discrete-state Markov models (English)
IEEE Transactions on Reliability 56, No. 4, 643-654 (2007).
1
Dependability analysis with Markov chains: how symmetries improve symbolic computations (English)
QEST, 151-160 (2007).
2
Design of experiments within the Möbius modeling environment (English)
QEST, 161-162 (2007).
3
Detecting and exploiting symmetry in discrete-state Markov models (English)
PRDC, 26-38 (2006).
4
Data analysis and visualization within the Möbius modeling environment (English)
QEST, 137-138 (2006).
5
The Möbius modeling environment: recent extensions - 2005 (English)
QEST, 259-260 (2005).
6