Inhalt des Dokuments
Publikationen
| Zitatschlüssel | Liebrenz2018 |
|---|---|
| Autor | Timm Liebrenz and Paula Herber and Sabine Glesner |
| Buchtitel | International Conference on Formal Engineering Methods |
| Jahr | 2018 |
| ISSN | 0302-9743 |
| Verlag | Springer |
Zusatzinformationen / Extras
Direktzugang
Schnellnavigation zur Seite über Nummerneingabe