Fingerprint
Dive into the research topics of 'Verification of rewrite rules for computation tree logics'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Verification of rewrite rules for computation tree logics
John Mccabe-Dansted, Mark Reynolds
Research output: Chapter in Book/Conference paper › Conference paper › peer-review
2
Citations
(Scopus)