Dubois, T., Larsen, K. G., & Srba, J. (2026). TAPAAL SMC: Statistical Model Checking of Stochastic Timed-Arc Petri Nets.
Chicago-Zitierstil (17. Ausg.)Dubois, Tanguy, Kim G. Larsen, und Jiri Srba. TAPAAL SMC: Statistical Model Checking of Stochastic Timed-Arc Petri Nets. 2026.
MLA-Zitierstil (9. Ausg.)Dubois, Tanguy, et al. TAPAAL SMC: Statistical Model Checking of Stochastic Timed-Arc Petri Nets. 2026.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.