swMATH12883MaRDI QIDQ24807FDOQ24807
Author name not available (Why is that?)
Official website: http://people.brunel.ac.uk/~csstdrg/courses/glasgow_courses/website_sysbiomres/software/mc2/
Cited In (7)
- Simulative model checking of steady state and time-unbounded temporal operators
- COSMOS
- Ymer
- PLASMA-lab
- Comparative analysis of statistical model checking tools
- Query-based verification of qualitative trends and oscillations in biochemical systems
- Conventional verification for unconventional computing: a genetic XOR gate example
This page was built for software: MC2
