Citazione Stile APA (7a Edizione)

Krsmanovic, V., Cosler, M., Ghanem, M., & Finkbeiner, B. (2025). Learning Representations Through Contrastive Neural Model Checking.

Citazione stile Chigago Style (17a edizione)

Krsmanovic, Vladimir, Matthias Cosler, Mohamed Ghanem, e Bernd Finkbeiner. Learning Representations Through Contrastive Neural Model Checking. 2025.

Citatione MLA (9a ed.)

Krsmanovic, Vladimir, et al. Learning Representations Through Contrastive Neural Model Checking. 2025.