APA (7th ed.) Citation

Batz, K. (2024). IC3 for Probabilistic Systems. Zenodo.

Chicago Style (17th ed.) Citation

Batz, Kevin. IC3 for Probabilistic Systems. Zenodo, 2024.

MLA (9th ed.) Citation

Batz, Kevin. IC3 for Probabilistic Systems. Zenodo, 2024.

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