Pages that link to "Item:Q5712361"
From MaRDI portal
The following pages link to Applications and Theory of Petri Nets 2004 (Q5712361):
Displaying 5 items.
- Modeling and quantitatively predicting software security based on stochastic Petri nets (Q445374) (← links)
- On the use of MTBDDs for performability analysis and verification of stochastic systems. (Q1400289) (← links)
- Generalized probabilistic perturbation method for static analysis (Q1904870) (← links)
- (Q3429477) (← links)
- Lectures on Concurrency and Petri Nets (Q5712295) (← links)