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...
Formal Methods for Open Object-Based Distributed Systems, Vol.5051, p.170-184
Volltextzugriff (PDF)


FM 2006: Formal Methods, 2006, p.205-220
2006
Volltextzugriff (PDF)

Open Access
Refactoring Object-Z Specifications
Fundamental Approaches to Software Engineering, 2004, p.69-83
2004
Volltextzugriff (PDF)

FM 2008: Formal Methods, p.358-373
Volltextzugriff (PDF)

Information Security and Privacy, 2005, p.230-241
2005
Volltextzugriff (PDF)


Formal Methods and Software Engineering, 2006, p.621-638
2006
Volltextzugriff (PDF)


Open Access
Refactoring Real-time Specifications
Electronic notes in theoretical computer science, 2008-06, Vol.214, p.359-380
2008
Volltextzugriff (PDF)

12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007), 2007, p.117-128
2007
Volltextzugriff (PDF)

Architectural design in object-Z
2004 Australian Software Engineering Conference. Proceedings, 2004, p.77-86
2004
Volltextzugriff (PDF)


Proceedings of the Royal Society. B, Biological sciences, 2005-05, Vol.272 (1566), p.941-947
2005
Volltextzugriff (PDF)










Proceedings of the Royal Society. B, Biological sciences, 1994-01, Vol.255 (1342), p.13
1994
Volltextzugriff (PDF)

Journal of materials chemistry, 2007-01, Vol.17 (36), p.3773-3776
2007
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n