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...
Lecture notes in computer science, 1999, p.146-162
1999
Volltextzugriff (PDF)

Conformance testing
Lecture notes in computer science, 2005, p.87-111
2005
Volltextzugriff (PDF)

Abstract State Machines 2003, 2003, p.263-277
2003
Volltextzugriff (PDF)

Abstract State Machines 2003, 2003, p.1-21
2003
Volltextzugriff (PDF)

Abstract State Machines 2003, 2003, p.218-228
2003
Volltextzugriff (PDF)

Abstract State Machines 2003, 2003, p.309-323
2003
Volltextzugriff (PDF)

Interfacing ASM with the MDG Tool
Abstract State Machines 2003, 2003, p.278-292
2003
Volltextzugriff (PDF)




Abstract State Machines 2003, 2003, p.108-125
2003
Volltextzugriff (PDF)



UML and Concurrency
Abstract State Machines 2003, 2003, p.151-166
2003
Volltextzugriff (PDF)

Abstract State Machines 2003, 2003, p.341-355
2003
Volltextzugriff (PDF)

Abstract State Machines 2003, 2003, p.293-309
2003
Volltextzugriff (PDF)

Recent Advances in Refinement
Abstract State Machines 2003, 2003, p.33-56
2003
Volltextzugriff (PDF)

ASM Specification of Database Systems
Abstract State Machines 2003, 2003, p.418-420
2003
Volltextzugriff (PDF)

Abstract State Machines 2003, 2003, p.244-262
2003
Volltextzugriff (PDF)


Abstract State Machines 2003, 2003, p.356-371
2003
Volltextzugriff (PDF)

Abstract State Machines 2003, 2003, p.126-150
2003
Volltextzugriff (PDF)


Open Access
Abstract State Processes
Abstract State Machines 2003, 2003, p.22-32
2003
Volltextzugriff (PDF)

Theoretical computer science, 1998-07, Vol.202 (1), p.127-161
1998
Volltextzugriff (PDF)