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

Chemical engineering and processing, 2000, Vol.39 (5), p.425-432
2000
Volltextzugriff (PDF)




Fundamental Approaches to Software Engineering, 2006, p.324-338
2006
Volltextzugriff (PDF)


Combining Decision Procedures
Formal Methods at the Crossroads. From Panacea to Foundational Support, 2003, Vol.2757, p.381-422
2003
Volltextzugriff (PDF)

The Development of the RAISE Tools
Formal Methods at the Crossroads. From Panacea to Foundational Support, 2003, Vol.2757, p.49-64
2003
Volltextzugriff (PDF)

UNU and UNU/IIST
Formal Methods at the Crossroads. From Panacea to Foundational Support, 2003, Vol.2757, p.26-33
2003
Volltextzugriff (PDF)

Formal Methods at the Crossroads. From Panacea to Foundational Support, 2003, Vol.2757, p.191-206
2003
Volltextzugriff (PDF)


Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05), 2005, p.127-136
2005
Volltextzugriff (PDF)

Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05), 2005, p.240-249
2005
Volltextzugriff (PDF)