APA (7th ed.) Citation

Dubois, T., Larsen, K. G., & Srba, J. (2026). TAPAAL SMC: Statistical Model Checking of Stochastic Timed-Arc Petri Nets.

Chicago Style (17th ed.) Citation

Dubois, Tanguy, Kim G. Larsen, and Jiri Srba. TAPAAL SMC: Statistical Model Checking of Stochastic Timed-Arc Petri Nets. 2026.

MLA (9th ed.) Citation

Dubois, Tanguy, et al. TAPAAL SMC: Statistical Model Checking of Stochastic Timed-Arc Petri Nets. 2026.

Warning: These citations may not always be 100% accurate.