APA-Zitierstil (7. Ausg.)

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.