Mechanized proofs of opacity: a comparison of two techniques

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

Erschienen in
In: Formal Aspects of Computing, 30, 5, S. 597-625

Ereignis
Veröffentlichung
(wo)
Augsburg
(wer)
Universität Augsburg
(wann)
2017
Ereignis
Veröffentlichung
(wer)
Springer Nature America, Inc
(wann)
2017
Urheber
Derrick, John
Doherty, Simon
Dongol, Brijesh
Schellhorn, Gerhard
Travkin, Oleg
Wehrheim, Heike

URN
urn:nbn:de:bvb:384-opus4-406134
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
15.08.2025, 07:39 MESZ

Datenpartner

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

Beteiligte

Entstanden

  • 2017

Ähnliche Objekte (12)