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...
Mathematical structures in computer science, 2015-01, Vol.25 (1), p.135-202
2015
Volltextzugriff (PDF)

Formal aspects of computing, 2013-05, Vol.25 (3), p.439-464
2013
Volltextzugriff (PDF)


2005
Volltextzugriff (PDF)

Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006), 2006, p.82-90
2006
Volltextzugriff (PDF)

2006 30th Annual IEEE/NASA Software Engineering Workshop, 2006, p.234-248
2006
Volltextzugriff (PDF)

Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007, p.37-46
2007
Volltextzugriff (PDF)