On Combining Functional Verification and Performance Evaluation Using CADP.

Hubert Garavel, Holger Hermanns

Browse the full FM paper archive.