An overview of CADP 2001 (2002)

by H Garavel, F Lang, R Mateescu
Venue:European Association for Software Science and Technology (EASST) Newsletter, 4:13–24