Login / Signup

Approximate Analysis of Hybrid Petri Nets with Probabilistic Timed Transitions.

Hamed GhasemiehAnne RemkeBoudewijn R. HaverkortGianfranco Ciardo
Published in: VALUETOOLS (2015)
Keyphrases