Wendelin Serwe (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

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