Bio-PEPAd

swMATH10690MaRDI QIDQ22648FDOQ22648

Author name not available (Why is that?)

Official website: http://www.sciencedirect.com/science/article/pii/S0304397511009479

Cited In (5)

• Verification of membrane systems with delays via Petri nets with delays
• Stochastic hybrid automata with delayed transitions to model biochemical systems with delays
• LBS
• Hybrid semantics for Bio-PEPA
• Bio-PEPAd: a non-Markovian extension of Bio-PEPA

This page was built for software: Bio-PEPAd