Fingerprint
Dive into the research topics of 'Using testing semantics to show safety and liveness in the development of CCS specifications'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Using testing semantics to show safety and liveness in the development of CCS specifications
J. Baillie
Research output: Book/Report › Other report
48
Downloads
(Pure)