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 hypertension, 2011-06, Vol.29, p.e451
2011
Volltextzugriff (PDF)

European journal of internal medicine, 2013-10, Vol.24, p.e34-e34
2013
Volltextzugriff (PDF)

IEEE transactions on software engineering, 2000-08, Vol.26 (8), p.687-701
2000
Volltextzugriff (PDF)


22nd International Symposium on Formal Methods, FM 2018 Held as Part of the Federated Logic Conference, FloC 2018, 2018, Vol.10951, p.399-417
2018
Volltextzugriff (PDF)











Studies in health technology and informatics, 2005, Vol.116, p.779
2005
Volltextzugriff (PDF)







FSM Inference from Long Traces
Formal Methods, 2018, Vol.10951, p.93-109
2018
Volltextzugriff (PDF)

Suchergebnisse filtern
Filter anzeigen
Publikationsform
Erscheinungsjahr
n.n
n.n