MARCIE
From MaRDI portal
Software:24806
swMATH12882MaRDI QIDQ24806FDOQ24806
Author name not available (Why is that?)
Cited In (6)
- Computing cumulative rewards using fast adaptive uniformization
- Extended dependency graphs and efficient distributed fixed-point computation
- On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets
- A Petri-net-based framework for biomodel engineering
- Model checking of biological systems
- Improvements in unfolding of colored Petri nets
This page was built for software: MARCIE
