Waiting for Locks: How Long Does It Usually Take?

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

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

Entstanden

  • 2013

Ähnliche Objekte (12)