ADRIÁN
RIESCO RODRÍGUEZ
Profesor titular de universidad
![Foto de ADRIÁN](/img/nophoto.png)
![Foto de Japan Advanced Institute of Science and Technology](/img/noimage_org.png)
Japan Advanced Institute of Science and Technology
Nonoichi, JapónPublicaciones en colaboración con investigadores/as de Japan Advanced Institute of Science and Technology (2)
2023
-
Optimization Techniques for Model Checking Leads-to Properties in a Stratified Way
ACM Transactions on Software Engineering and Methodology, Vol. 32, Núm. 6
2019
-
An Environment for Specifying and Model Checking Mobile Ring Robot Algorithms
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)