APA (7th ed.) Citation

Morard, D., Donati, L., & Buchs, D. (2026). Symbolic Model Checking using Intervals of Vectors.

Chicago Style (17th ed.) Citation

Morard, Damien, Lucas Donati, and Didier Buchs. Symbolic Model Checking Using Intervals of Vectors. 2026.

MLA (9th ed.) Citation

Morard, Damien, et al. Symbolic Model Checking Using Intervals of Vectors. 2026.