|
[GH02]
H. Garavel and H. Hermanns.
On combining functional verification and performance evaluation using CADP.
In Proc. International Symposium of Formal Methods Europe (FME'02), volume 2391 of LNCS, pages 410-429, Springer.
2000.
[bib]
|
|
Downloads:
 bib
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|