- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
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
- Event
-
Veröffentlichung
- (where)
-
Dresden
- (who)
-
Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
- (when)
-
2013
- Event
-
Veröffentlichung
- (where)
-
Dresden
- (who)
-
Technische Universität Dresden
- (when)
-
2013
- Creator
-
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
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:50 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- 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
Time of origin
- 2013
Other Objects (12)
Resolving fiscal imbalances: Does it take a crisis?
How Much Statehood Does it Take – And What For?
What Does It Take to be a Successful Data Scientist?
How Many Patents Does it Take to Signal Innovation Quality?
Whatever it Takes?
It takes Two
Digital learning in schools: what does it take beyond digital technology?
Does the Winner Take It All? Redistributive Policies and Political Extremism
What Does It Take? Auto/biography as Performative PhD Thesis
What Does it Take to Be Agile? - Evidence from the Banking Industry
Does it take two? The effect of partners' characteristics on teenage pregnancy
TaKe it easy
Resolving fiscal imbalances: Does it take a crisis?
How Much Statehood Does it Take – And What For?
What Does It Take to be a Successful Data Scientist?
How Many Patents Does it Take to Signal Innovation Quality?
Whatever it Takes?
It takes Two
Digital learning in schools: what does it take beyond digital technology?
Does the Winner Take It All? Redistributive Policies and Political Extremism
What Does It Take? Auto/biography as Performative PhD Thesis
What Does it Take to Be Agile? - Evidence from the Banking Industry
Does it take two? The effect of partners' characteristics on teenage pregnancy
TaKe it easy
Resolving fiscal imbalances: Does it take a crisis?
How Much Statehood Does it Take – And What For?
What Does It Take to be a Successful Data Scientist?
How Many Patents Does it Take to Signal Innovation Quality?
Whatever it Takes?
It takes Two
Digital learning in schools: what does it take beyond digital technology?
Does the Winner Take It All? Redistributive Policies and Political Extremism
What Does It Take? Auto/biography as Performative PhD Thesis
What Does it Take to Be Agile? - Evidence from the Banking Industry
Does it take two? The effect of partners' characteristics on teenage pregnancy