2009
From chi-t to $\mu$CRL: Combining Performance and Functional Analysis
Publication
Publication
Presented at the
International Conference on Engineering of Complex Computer Systems, Shanghai, China
| Additional Metadata | |
|---|---|
| IEEE | |
| International Conference on Engineering of Complex Computer Systems | |
| Organisation | Software Analysis and Transformation |
|
Wijs, A.& Fokkink, W. (2009). From chi-t to $\mu$CRL: Combining Performance and Functional Analysis. Proceedings of 10th Conference on Engineering of Complex Computer Systems 2005, 184–193. |
|