Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
| Original language | English |
|---|---|
| Title of host publication | Relational and Algebraic Methods in Computer Science |
| Subtitle of host publication | RAMICS 2014 |
| Editors | Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller |
| Place of Publication | Cham |
| Publisher | Springer Nature |
| Chapter | 22 |
| Pages | 362-378 |
| ISBN (Electronic) | 978-3-319-06251-8 |
| ISBN (Print) | 978-3-319-06250-1 |
| DOIs | |
| State | Published - 2014 |
| Name | Lecture Notes in Computer Science |
|---|---|
| Publisher | Springer |
| Volume | 8428 |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
ID: 32917026