From Chi-t to mCRL: Combining Performance and Functional Analysis

A. Wijs, W.J. Fokkink

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publication10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 16-20 June 2005, Shanghai, China
PublisherIEEE Computer Society
Pages184-193
Publication statusPublished - 2005

Bibliographical note

DBLP:conf/iceccs/WijsF05

Cite this