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


Programming Languages and Systems, 2013, p.533-553
2013
Volltextzugriff (PDF)

Open Access
Why3 — Where Programs Meet Provers
Programming Languages and Systems, 2013, p.125-128
2013
Volltextzugriff (PDF)


Open Access
Reversible Communicating Systems
CONCUR 2004 - Concurrency Theory, 2004, Vol.3170, p.292-307
2004
Volltextzugriff (PDF)

CONCUR 2004 - Concurrency Theory, 2004, p.49-67
2004
Volltextzugriff (PDF)


Open Access
A Survey of Regular Model Checking
CONCUR 2004 - Concurrency Theory, 2004, p.35-48
2004
Volltextzugriff (PDF)


Programming Languages and Systems, 2013, p.350-369
2013
Volltextzugriff (PDF)

CONCUR 2004 - Concurrency Theory, 2004, p.387-401
2004
Volltextzugriff (PDF)


Verification by Network Decomposition
CONCUR 2004 - Concurrency Theory, 2004, p.276-291
2004
Volltextzugriff (PDF)


CONCUR 2004 - Concurrency Theory, 2004, p.512-528
2004
Volltextzugriff (PDF)





Open Access
Abstract Refinement Types
Programming Languages and Systems, 2013, p.209-228
2013
Volltextzugriff (PDF)

Open Access
Pretty-Big-Step Semantics
Programming Languages and Systems, 2013, p.41-60
2013
Volltextzugriff (PDF)

CONCUR 2004 - Concurrency Theory, 2004, p.402-416
2004
Volltextzugriff (PDF)

Lecture notes in computer science, 2013, Vol.7792 LNCS (101-120), p.101-120
2013
Volltextzugriff (PDF)

CONCUR 2004 - Concurrency Theory, 2004, p.83-98
2004
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt