Radu Mateescu
Author
Alternate names Radu Mateescu, R. Mateescu
Institution Laboratoire d'Informatique de Grenoble
Past institutions Centre Inria de l'Université Grenoble Alpes, Université Grenoble Alpes, Laboratoire d'Informatique de Grenoble, Centre National de la Recherche Scientifique, Institut polytechnique de Grenoble +5 more
H-index: 29
I10-index: 65
Works count: 159
Citations count: 3,529
CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes
2007 · Hubert Garavel, Radu Mateescu, et al. · Lecture notes in computer science
CADP a protocol validation and verification toolbox
1996 · J. C. Fernandez, Hubert Garavel, et al. · Lecture notes in computer science
CADP 2011: a toolbox for the construction and analysis of distributed processes
2012 · Hubert Garavel, Frédéric Lang, et al. · International Journal on Software Tools for Technology Transfer