Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...


Computer Aided Verification, p.354-359
Volltextzugriff (PDF)


Open Access
Fences in Weak Memory Models
Computer Aided Verification, p.258-272
Volltextzugriff (PDF)


Computer Aided Verification, p.585-599
Volltextzugriff (PDF)











Open Access
Automatically Proving Linearizability
Computer Aided Verification, p.450-464
Volltextzugriff (PDF)

Computer Aided Verification, p.104-118
Volltextzugriff (PDF)





Computer Aided Verification, 2010, Vol.6174 (2), p.148-161
2010
Volltextzugriff (PDF)

Open Access
Bounded Underapproximations
Computer Aided Verification, p.600-614
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n