Fingerprint
Dive into the research topics of 'Formal verification of mutual exclusion between the guards of deterministic choice structures'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Formal verification of mutual exclusion between the guards of deterministic choice structures
- M. Boubekeur
- , K. L. Man
- , M. P. Schellekens
Research output: Chapter in Book/Report/Conference proceedings › Chapter › peer-review