Balasubramanian, A. R., Jorshari, M. H. K., Majumdar, R., Mathur, U., & Zhang, M. (2025). State Space Estimation for DPOR-based Model Checkers(Extended Version).
Style de citation Chicago (17e éd.)Balasubramanian, A. R., Mohammad Hossein Khoshechin Jorshari, Rupak Majumdar, Umang Mathur, et Minjian Zhang. State Space Estimation for DPOR-based Model Checkers(Extended Version). 2025.
Style de citation MLA (9e éd.)Balasubramanian, A. R., et al. State Space Estimation for DPOR-based Model Checkers(Extended Version). 2025.
Attention : ces citations peuvent ne pas être correctes à 100%.