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

Model Checking Software, p.120-139
Volltextzugriff (PDF)


Model Checking Software, p.81-98
Volltextzugriff (PDF)







Proceedings of 1994 IEEE 1st World Conference on Photovoltaic Energy Conversion - WCPEC (A Joint Conference of PVSC, PVSEC and PSEC), 1994, Vol.1, p.820-823 vol.1
1994
Volltextzugriff (PDF)

Photochemistry in rare gas clusters
The European physical journal. D, Atomic, molecular, and optical physics, 1999-12, Vol.9 (1), p.5-9
1999
Volltextzugriff (PDF)

Invited Talks
Model Checking Software, 2021, Vol.12864
2021
Volltextzugriff (PDF)

Model Checking Software, 2021, Vol.12864
2021
Volltextzugriff (PDF)

Model Checking Software, 2021, Vol.12864
2021
Volltextzugriff (PDF)

Model Checking Software, 2021, Vol.12864
2021
Volltextzugriff (PDF)

Model Checking
Model Checking Software, 2021, Vol.12864
2021
Volltextzugriff (PDF)

Model Checking Software, 2021, Vol.12864
2021
Volltextzugriff (PDF)

A Model-Checked I2C Specification
Model Checking Software, 2021, Vol.12864
2021
Volltextzugriff (PDF)

Model Checking Software, 2021, Vol.12864
2021
Volltextzugriff (PDF)

Intro
Model Checking Software, 2021, Vol.12864
2021
Volltextzugriff (PDF)

Tool Papers
Model Checking Software, 2021, Vol.12864
2021
Volltextzugriff (PDF)

Model Checking Software, 2021, Vol.12864
2021
Volltextzugriff (PDF)

Model Checking Software, 2021, Vol.12864
2021
Volltextzugriff (PDF)

Case Studies
Model Checking Software, 2021, Vol.12864
2021
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n