CCMC

swMATH13324MaRDI QIDQ25239

No author found.

Described by source

• CCMC: A Conditional CSL Model Checker for Continuous-Time Markov Chains

Related Items (1)

Automated technology for verification and analysis. 11th international symposium, ATVA 2013, Hanoi, Vietnam, October 15--18, 2013. Proceedings

This page was built for software: CCMC