|
27552
Infos complémentaires |
parentName_s |
Institut de Recherche en Informatique et Systèmes AléatoiresUniversité de RennesInstitut National des Sciences Appliquées - RennesCentre National de la Recherche Scientifique |
|
Graphs, Automata, Logics, Languages and vErificatiON |
GALION |
researchteam |
Irisa, Campus de Beaulieu 35042 Rennes |
|
|
|
|