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...
Journal of logic and computation, 2010-02, Vol.20 (1), p.309-352
2010
Volltextzugriff (PDF)


IEEE intelligent systems, 2009-07, Vol.24 (4), p.10-13
2009
Volltextzugriff (PDF)



1. Aufl., 2010
Volltextzugriff (PDF)



Open Access
Twee: An Equational Theorem Prover
Systematisk testning av cyberfysiska system (SyTeC), 2021, Vol.12699 LNAI, p.602
2021
Volltextzugriff (PDF)


Open Access
Logics of Dynamical Systems
2012 27th Annual IEEE Symposium on Logic in Computer Science, 2012, p.13-24
2012
Volltextzugriff (PDF)

The Lancet (British edition), 2021-11, Vol.398 (10312), p.1713-1725
2021
Volltextzugriff (PDF)



2012 27th Annual IEEE Symposium on Logic in Computer Science, 2012, p.541-550
2012
Volltextzugriff (PDF)




The Lancet (British edition), 2022-02, Vol.399 (10326), p.719-728
2022
Volltextzugriff (PDF)

British journal of anaesthesia : BJA, 2021-06, Vol.126 (6), p.1157-1172
2021
Volltextzugriff (PDF)


Open Access
Bounded Synthesis for Petri Games
Correct System Design, p.223-237
Volltextzugriff (PDF)



Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n