Cita APA (7a ed.)

Stępka, I., Gisolfi, N., & Dubrawski, A. (2024). A SAT-based approach to rigorous verification of Bayesian networks.

Cita Chicago Style (17a ed.)

Stępka, Ignacy, Nicholas Gisolfi, y Artur Dubrawski. A SAT-based Approach to Rigorous Verification of Bayesian Networks. 2024.

Cita MLA (9a ed.)

Stępka, Ignacy, et al. A SAT-based Approach to Rigorous Verification of Bayesian Networks. 2024.