Andoni Rodríguez, Felipe Gorostiaga, César Sánchez 0001. *. In Ruzica Piskac, Zvonimir Rakamaric, editors, Computer Aided Verification - 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV. Volume 15934 of Lecture Notes in Computer Science, pages 224-248, Springer, 2025. [doi]
@inproceedings{RodriguezGS25,
title = {*},
author = {Andoni Rodríguez and Felipe Gorostiaga and César Sánchez 0001},
year = {2025},
doi = {10.1007/978-3-031-98685-7_11},
url = {https://doi.org/10.1007/978-3-031-98685-7_11},
researchr = {https://researchr.org/publication/RodriguezGS25},
cites = {0},
citedby = {0},
pages = {224-248},
booktitle = {Computer Aided Verification - 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV},
editor = {Ruzica Piskac and Zvonimir Rakamaric},
volume = {15934},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-031-98685-7},
}