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 |
Zurück [3]
-02450-5_6
no_cache=1&tx_sibibtex_pi1%5Bdownload_bibtex_uid%5D
=1788139&tx_sibibtex_pi1%5Bcontentelement%5D=tt_con
tent%3A210839
Zusatzinformationen / Extras
Direktzugang
Schnellnavigation zur Seite über Nummerneingabe
Hilfsfunktionen
Copyright TU Berlin 2008