共 50 条
- [3] Autoreversibility: exploiting symmetries in Markov chains 2013 IEEE 21ST INTERNATIONAL SYMPOSIUM ON MODELING, ANALYSIS & SIMULATION OF COMPUTER AND TELECOMMUNICATION SYSTEMS (MASCOTS 2013), 2013, : 151 - 160
- [5] Dependability analysis with Markov chains: How symmetries improve symbolic computations FOURTH INTERNATIONAL CONFERENCE ON THE QUANTITATIVE EVALUATION OF SYSTEMS, 2007, : 151 - +
- [7] Finite horizon analysis of Markov chains with the Murφ verifier CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, PROCEEDINGS, 2003, 2860 : 394 - 409