Original language | English |
---|---|
Title of host publication | 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 16-20 June 2005, Shanghai, China |
Publisher | IEEE Computer Society |
Pages | 184-193 |
Publication status | Published - 2005 |
From Chi-t to mCRL: Combining Performance and Functional Analysis
A. Wijs, W.J. Fokkink
Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review