Semi-Inversion of Guarded Equations
Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
| Original language | English |
|---|---|
| Title of host publication | Generative Programming and Component-Engineering 2005 |
| Number of pages | 16 |
| Place of Publication | Berlin |
| Publisher | Springer |
| Publication date | 2005 |
| Edition | 3676 |
| Pages | 189-204 |
| ISBN (Print) | 3-540-29138-5 |
| Publication status | Published - 2005 |
ID: 14566