Dubois, T., Larsen, K. G., & Srba, J. (2026). TAPAAL SMC: Statistical Model Checking of Stochastic Timed-Arc Petri Nets.
Chicago Style (17th ed.) CitationDubois, Tanguy, Kim G. Larsen, and Jiri Srba. TAPAAL SMC: Statistical Model Checking of Stochastic Timed-Arc Petri Nets. 2026.
MLA (9th ed.) CitationDubois, Tanguy, et al. TAPAAL SMC: Statistical Model Checking of Stochastic Timed-Arc Petri Nets. 2026.
Warning: These citations may not always be 100% accurate.