![]() | ![]() |
Ask others: ACM DL/Guide -
- CSB - MetaPress - Google - Bing - Yahoo
| 17 | Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe: CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes. TACAS 2011: 372-387 | |
| 15 | Nicolas Coste, Hubert Garavel, Holger Hermanns, Frédéric Lang, Radu Mateescu, Wendelin Serwe: Ten Years of Performance Evaluation for Concurrent Systems Using CADP. ISoLA (2) 2010: 128-142 | |
| 9 | Hubert Garavel, Radu Mateescu, Frédéric Lang, Wendelin Serwe: CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes. CAV 2007: 158-163 |
Selection of 3 from 18 records - Wendelin Serwe has 15 coauthors
Last update 2012-09-10 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page