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...
Plastic and reconstructive surgery. Global open, 2019-07, Vol.7 (7), p.e2332-e2332
2019
Volltextzugriff (PDF)

Automated Technology for Verification and Analysis, 2016, Vol.9938 LNCS, p.479-494
2016
Volltextzugriff (PDF)

Plastic and reconstructive surgery. Global open, 2023-12, Vol.11 (12), p.e5437-e5437
2023
Volltextzugriff (PDF)


International journal on software tools for technology transfer, 1999-11, Vol.2 (3), p.279-287
1999
Volltextzugriff (PDF)

ACS applied materials & interfaces, 2009-10, Vol.1 (10), p.2320-2324
2009
Volltextzugriff (PDF)

The Plant journal : for cell and molecular biology, 2004-06, Vol.38 (5), p.861-872
2004
Volltextzugriff (PDF)



Automated Technology for Verification and Analysis, p.244-261
Volltextzugriff (PDF)

Automated Technology for Verification and Analysis, p.32-49
Volltextzugriff (PDF)

Automated Technology for Verification and Analysis, p.130-137
Volltextzugriff (PDF)




Solving Mean-Payoff Games on the GPU
Automated Technology for Verification and Analysis, p.262-267
Volltextzugriff (PDF)

Automated Technology for Verification and Analysis, p.412-427
Volltextzugriff (PDF)


Automated Technology for Verification and Analysis, p.89-105
Volltextzugriff (PDF)

Automated Technology for Verification and Analysis, p.428-443
Volltextzugriff (PDF)

European economic review, 2010-04, Vol.54 (3), p.345-358
2010
Volltextzugriff (PDF)



Open Access
Ten years of partial order reduction
Computer Aided Verification, 1998, p.17-28
1998
Volltextzugriff (PDF)

Model Checking and Testing Combined
Automata, Languages and Programming, 2003, p.47-63
2003
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Erscheinungsjahr
n.n
n.n