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
*Corresponding author for this work
Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review