Reverse exchange for concurrency and local reasoning

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch

Erschienen in
In: Lecture Notes in Computer Science, 7342, S. 177-197

Ereignis
Veröffentlichung
(wo)
Augsburg, Berlin
(wer)
Universität Augsburg, Springer
(wann)
2012
Urheber
Dang, Han-Hing
Möller, Bernhard

DOI
10.1007/978-3-642-31113-0_10
URN
urn:nbn:de:bvb:384-opus4-587629
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:54 MEZ

Datenpartner

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

Beteiligte

Entstanden

  • 2012

Ähnliche Objekte (12)