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

A. Wijs; W.J. Fokkink

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

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

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

Bibliographical note

DBLP:conf/iceccs/WijsF05

Cite this

@inproceedings{2ff2fe60a4234c8c9da841d95bfcd361,

title = "From Chi-t to mCRL: Combining Performance and Functional Analysis",

author = "A. Wijs and W.J. Fokkink",

note = "DBLP:conf/iceccs/WijsF05 ",

year = "2005",

language = "English",

pages = "184--193",

booktitle = "10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 16-20 June 2005, Shanghai, China",

publisher = "IEEE Computer Society",

}

From Chi-t to mCRL: Combining Performance and Functional Analysis. / Wijs, A.; Fokkink, W.J.

10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 16-20 June 2005, Shanghai, China. IEEE Computer Society, 2005. p. 184-193.

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

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

AU - Wijs, A.

AU - Fokkink, W.J.

N1 - DBLP:conf/iceccs/WijsF05

PY - 2005

Y1 - 2005

M3 - Conference contribution

SP - 184

EP - 193

BT - 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 16-20 June 2005, Shanghai, China

PB - IEEE Computer Society

ER -