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...







IEEE transactions on parallel and distributed systems, 2003-08, Vol.14 (8), p.730-741
2003
Volltextzugriff (PDF)





Exploiting purity for atomicity
IEEE transactions on software engineering, 2005-04, Vol.31 (4), p.275-291
2005
Volltextzugriff (PDF)

Computer Aided Verification, p.184-190
Volltextzugriff (PDF)

Mathematical problems in engineering, 2022-05, Vol.2022, p.1-12
2022
Volltextzugriff (PDF)


Mathematical problems in engineering, 2022-10, Vol.2022, p.1-14
2022
Volltextzugriff (PDF)


Mathematical problems in engineering, 2022-09, Vol.2022, p.1-14
2022
Volltextzugriff (PDF)


Mathematical problems in engineering, 2022-10, Vol.2022, p.1-14
2022
Volltextzugriff (PDF)




Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n