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