| Original language | English |
|---|---|
| Title of host publication | Proc. 15th Conference on Application of Concurrency to System Design - ACSD'15 |
| Publisher | IEEE |
| Pages | 70-79 |
| Publication status | Published - 2015 |
Multi-valued abstraction using lattice operations
Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review