An Overview of CADP 2001 (2002)

by Hubert Garavel, Frédéric Lang, Radu Mateescu
Venue:European Association for Software Science and Technology (EASST) Newsletter