Fingerprint
Dive into the research topics of 'Abstraction in reasoning about higraph-based systems'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Abstraction in reasoning about higraph-based systems
John Power, Konstantinos Tourlas
Research output: Chapter or section in a book/report/conference proceeding › Chapter or section