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...
Open Access
Forward and Backward Simulations
Information and computation, 1995-09, Vol.121 (2), p.214-233
1995
Volltextzugriff (PDF)

Open Access
Hybrid I/O automata
Information and computation, 2003-08, Vol.185 (1), p.105-157
2003
Volltextzugriff (PDF)

Formal aspects of computing, 2006-12, Vol.18 (4), p.433-458
2006
Volltextzugriff (PDF)


Open Access
Turning SOS Rules into Equations
Information and computation, 1994-05, Vol.111 (1), p.1-52
1994
Volltextzugriff (PDF)

Open Access
Testing timed automata
Theoretical computer science, 2001, Vol.254 (1), p.225-257
2001
Volltextzugriff (PDF)

Semantics of Systems of Concurrent Processes, 2005, p.407-419
2005
Volltextzugriff (PDF)

Journal of the ACM, 1995-03, Vol.42 (2), p.458-487
1995
Volltextzugriff (PDF)

Bundle Event Structures and CCSP
CONCUR 2003 - Concurrency Theory, 2003, p.57-71
2003
Volltextzugriff (PDF)


CONCUR 2003 - Concurrency Theory, 2003, p.208-221
2003
Volltextzugriff (PDF)

2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, 2012, p.317-327
2012
Volltextzugriff (PDF)

Information and computation, 1996-07, Vol.128 (1), p.1-25
1996
Volltextzugriff (PDF)


Action transducers and timed automata
CONCUR '92, 2006, p.436-455
2006
Volltextzugriff (PDF)

Information and computation, 1992-10, Vol.100 (2), p.202-260
1992
Volltextzugriff (PDF)

Adding symmetry reduction to UPPAAL
Lecture notes in computer science, 2003, p.46-59
2003
Volltextzugriff (PDF)

Lecture notes in computer science, 2003, p.189-203
2003
Volltextzugriff (PDF)

Formal aspects of computing, 2006-12, Vol.18 (4), p.433-458
2006
Volltextzugriff (PDF)

Automata, Languages and Programming, 1990-01, p.626-638
1990
Volltextzugriff (PDF)

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

Theoretical computer science, 1991-02, Vol.79 (2), p.275-294
1991
Volltextzugriff (PDF)

RTSS 2003. 24th IEEE Real-Time Systems Symposium, 2003, 2003, p.166-177
2003
Volltextzugriff (PDF)

Open Access
Proof-checking a data link protocol
Types for Proofs and Programs, 2005, p.127-165
2005
Volltextzugriff (PDF)

Introduction
Lecture notes in computer science, 1998, p.1-3
1998
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Erscheinungsjahr
n.n
n.n