Page Content
Publications
| Citation key | Liebrenz2019 |
|---|---|
| Author | Timm Liebrenz and Paula Herber and Sabine Glesner |
| Title of Book | International Conference on Formal Aspects of Component Software |
| Year | 2019 |
| Publisher | Springer |
Zusatzinformationen / Extras
Quick Access:
Schnellnavigation zur Seite über Nummerneingabe
Auxiliary Functions
- Font size:
