|
395792
Infos complémentaires |
parentName_s |
Max-Planck-Institut für Informatik |
|
Algorithms and Complexity
|
|
researchteam |
|
|
|
|
107895
Infos complémentaires |
parentName_s |
Department of Formal MethodsInria Nancy - Grand EstMax-Planck-Institut für Informatik |
|
Modeling and Verification of Distributed Algorithms and Systems
|
VERIDIS
|
researchteam |
|
http://www.inria.fr/equipes/veridis |
|
|
397675
Infos complémentaires |
parentName_s |
Max-Planck-Institut für Informatik |
|
Automation of Logic
|
|
researchteam |
|
|
|
|
397684
Infos complémentaires |
parentName_s |
Max-Planck-Institut für Informatik |
|
Computational Logic
|
|
researchteam |
|
|
|