Fingerprint
Dive into the research topics of 'N-PAT: A Nested Model-Checker: (System Description)'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Hadrien Bride*, Cheng Hao Cai, Jin Song Dong, Rajeev Gore, Zhé Hóu, Brendan Mahony, Jim McCarthy
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review