MC2

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