Nicolas Coste, Hubert Garavel, Holger Hermanns, Frédéric Lang, Radu Mateescu, Wendelin Serwe. Ten Years of Performance Evaluation for Concurrent Systems Using CADP. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II. Volume 6416 of Lecture Notes in Computer Science, pages 128-142, Springer, 2010. [doi]
Abstract is missing.