Explore projects

A package for simulation, verification and parameter estimation of Chemical Reaction Networks.

Generators of PRISM code for DTMC models of production line systems (blocking-after-service policy)