Original language | English |
---|---|
Pages (from-to) | 1-12 |
Number of pages | 12 |
Journal | Formal Methods in System Design |
Volume | 50 |
Issue number | 137 |
DOIs | |
Publication status | Published - 2017 |
Research Field
- Not defined
Andreas Fellner, Pascal Fontaine, Bruno Woltzenlogel Paleo
Research output: Contribution to journal › Article › peer-review
Original language | English |
---|---|
Pages (from-to) | 1-12 |
Number of pages | 12 |
Journal | Formal Methods in System Design |
Volume | 50 |
Issue number | 137 |
DOIs | |
Publication status | Published - 2017 |