Case studies in the hybrid process algebra HyPA

Research output: Contribution to journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	299-305
Journal	International Journal of Software Engineering and Knowledge Engineering
Volume	15
Issue number	2
DOIs	https://doi.org/10.1142/S0218194005002385
Publication status	Published - 2005

Access to Document

@article{61514b95dd1f46b9924177d47b280343,

title = "Case studies in the hybrid process algebra HyPA",

author = "K.L. Man and M.A. Reniers and P.J.L. Cuijpers",

year = "2005",

doi = "10.1142/S0218194005002385",

language = "English",

volume = "15",

pages = "299--305",

journal = "International Journal of Software Engineering and Knowledge Engineering",

issn = "0218-1940",

publisher = "World Scientific",

number = "2",

}

TY - JOUR

T1 - Case studies in the hybrid process algebra HyPA

AU - Man, K.L.

AU - Reniers, M.A.

AU - Cuijpers, P.J.L.

PY - 2005

Y1 - 2005

U2 - 10.1142/S0218194005002385

DO - 10.1142/S0218194005002385

M3 - Article

SN - 0218-1940

VL - 15

SP - 299

EP - 305

JO - International Journal of Software Engineering and Knowledge Engineering

JF - International Journal of Software Engineering and Knowledge Engineering

IS - 2

ER -