MARCIE
From MaRDI portal
Software:24806
swMATH12882MaRDI QIDQ24806FDOQ24806
Author name not available (Why is that?)
Cited In (6)
- A Petri-Net-Based Framework for Biomodel Engineering
- Model Checking of Biological Systems
- Extended dependency graphs and efficient distributed fixed-point computation
- On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets
- Computing Cumulative Rewards Using Fast Adaptive Uniformization
- Improvements in unfolding of colored Petri nets
This page was built for software: MARCIE
