Automated translation of JSD into CSP : a case study in methods integration

Wing Lok YEUNG

Research output: Journal Publications › Journal Article (refereed) › peer-review

1 Citation (Scopus)

Fingerprint

Dive into the research topics of 'Automated translation of JSD into CSP : a case study in methods integration'. Together they form a unique fingerprint.

Computer Science