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...
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
PLoS medicine, 2022-11, Vol.19 (11), p.e1004132
2022
Volltextzugriff (PDF)






Concurrent abstract predicates
Proceedings of the 24th European conference on Object-oriented programming, 2010, p.504-528
2010
Volltextzugriff (PDF)

Open Access
Concurrent Abstract Predicates
ECOOP 2010 – Object-Oriented Programming, 2010, p.504-528
2010
Volltextzugriff (PDF)







Open Access
Ribbon Proofs for Separation Logic
Programming Languages and Systems, 2013, p.189-208
2013
Volltextzugriff (PDF)



SIGPLAN notices, 2011-10, Vol.46 (10), p.845-864
2011
Volltextzugriff (PDF)

Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications, 2011, p.845-864
2011
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n