APA (7th ed.) Citation

Haur, I., Béchennec, J., & Roux, O. H. (2025). Model-Checking of Concurrent Real-Time Software Using High-Level Colored Time Petri Nets with Stopwatches. Cybernetics & Systems, 56(6), 886. https://doi.org/10.1080/01969722.2023.2247261

Chicago Style (17th ed.) Citation

Haur, Imane, Jean-Luc Béchennec, and Olivier H. Roux. "Model-Checking of Concurrent Real-Time Software Using High-Level Colored Time Petri Nets with Stopwatches." Cybernetics & Systems 56, no. 6 (2025): 886. https://doi.org/10.1080/01969722.2023.2247261.

MLA (9th ed.) Citation

Haur, Imane, et al. "Model-Checking of Concurrent Real-Time Software Using High-Level Colored Time Petri Nets with Stopwatches." Cybernetics & Systems, vol. 56, no. 6, 2025, p. 886, https://doi.org/10.1080/01969722.2023.2247261.