DMCA

On combining functional verification and performance evaluation using CADP (2002)

by Hubert Garavel , Holger Hermanns
Venue:FME 2002: International Symposium of Formal Methods Europe, volume 2391 of LNCS
Citations:37 - 8 self