Original language | English |
---|---|
Pages (from-to) | 423-472 |
Journal | Formal Aspects of Computing |
Volume | 27 |
Issue number | 2 |
DOIs | |
Publication status | Published - 8 Jan 2015 |
Original language | English |
---|---|
Pages (from-to) | 423-472 |
Journal | Formal Aspects of Computing |
Volume | 27 |
Issue number | 2 |
DOIs | |
Publication status | Published - 8 Jan 2015 |