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

Open Access
Bounded Underapproximations
Computer Aided Verification, p.600-614
Volltextzugriff (PDF)




Open Access
Symbolic Bounded Synthesis
Computer Aided Verification, p.365-379
Volltextzugriff (PDF)










Computer Aided Verification, p.175-179
Volltextzugriff (PDF)



Computer Aided Verification, p.615-628
Volltextzugriff (PDF)



Open Access
SPLIT: A Compositional LTL Verifier
Computer Aided Verification, p.558-561
Volltextzugriff (PDF)



Open Access
Merit: An Interpolating Model-Checker
Computer Aided Verification, p.162-166
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n