Ten Years of Performance Evaluation for Concurrent Systems Using CADP.

Nicolas Coste, Hubert Garavel, Holger Hermanns, Frdric Lang, Radu Mateescu, Wendelin Serwe

Browse the full ISoLA paper archive.