Abstract
Original language | English |
---|---|
Pages (from-to) | 423-472 |
Number of pages | 50 |
Journal | Formal Aspects of Computing |
Volume | 27 |
Early online date | 8 Jan 2015 |
DOIs | |
Publication status | Published - Jan 2015 |
Keywords
- computer science
Research output: Contribution to journal › Article › peer-review
Original language | English |
---|---|
Pages (from-to) | 423-472 |
Number of pages | 50 |
Journal | Formal Aspects of Computing |
Volume | 27 |
Early online date | 8 Jan 2015 |
DOIs | |
Publication status | Published - Jan 2015 |