- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: Formal Methods for Industrial Critical Systems: 17th International Workshop on Formal methods for industrial critical systems, Paris, France, August 27-28, 2012, Proceedings, S. 47-62, ISBN: 978-3-642-32469-7, ISSN: 0302-9743
- Ereignis
-
Veröffentlichung
- (wo)
-
Dresden
- (wer)
-
Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
- (wann)
-
2013
- Ereignis
-
Veröffentlichung
- (wo)
-
Dresden
- (wer)
-
Technische Universität Dresden
- (wann)
-
2013
- Urheber
-
Baier, Christel
Daum, Marcus
Engel, Benjamin
Härtig, Hermann
Klein, Joachim
Klüppelholz, Sascha
Märcker, Steffen
Tews, Hendrik
Völp, Marcus
- URN
-
urn:nbn:de:bsz:14-qucosa-121259
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 11:00 MESZ
Datenpartner
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Baier, Christel
- Daum, Marcus
- Engel, Benjamin
- Härtig, Hermann
- Klein, Joachim
- Klüppelholz, Sascha
- Märcker, Steffen
- Tews, Hendrik
- Völp, Marcus
- Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
- Technische Universität Dresden
Entstanden
- 2013