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


IEEE transactions on software engineering, 2004-06, Vol.30 (6), p.388-402
2004
Volltextzugriff (PDF)

Reprint 2017 edition., 2017
Volltextzugriff (PDF)


Noise & health, 2021-01, Vol.23 (108), p.11-20
2021
Volltextzugriff (PDF)

Proceedings / International Conference on Software Engineering, 2001, p.443-452
2001
Volltextzugriff (PDF)

25th International Conference on Software Engineering, 2003. Proceedings, 2003, p.385-395
2003
Volltextzugriff (PDF)


Journal of the ACM, 2003-09, Vol.50 (5), p.752-794
2003
Volltextzugriff (PDF)

Computer Science Logic, p.320-335
Volltextzugriff (PDF)

25 Years of Model Checking, p.27-45
Volltextzugriff (PDF)

Proceedings - Symposium on Logic in Computer Science, 2002, p.19-29
2002
Volltextzugriff (PDF)

The Structural λ-Calculus
Computer Science Logic, p.381-395
Volltextzugriff (PDF)

The Birth of Model Checking
25 Years of Model Checking, p.1-26
Volltextzugriff (PDF)

Lecture notes in computer science, 2006, p.126-141
2006
Volltextzugriff (PDF)


Verification by Network Decomposition
CONCUR 2004 - Concurrency Theory, 2004, p.276-291
2004
Volltextzugriff (PDF)

Physical review letters, 1992-02, Vol.68 (7), p.1069-1072
1992
Volltextzugriff (PDF)

Coordination Logic
Computer Science Logic, p.305-319
Volltextzugriff (PDF)

Logic for Programming, Artificial Intelligence, and Reasoning, 2008, Vol.5330, p.274-289
2008
Volltextzugriff (PDF)

Proceedings. Thirteenth Annual IEEE Conference on Computational Complexity (Formerly: Structure in Complexity Theory Conference) (Cat. No.98CB36247), 1998, p.122-131
1998
Volltextzugriff (PDF)

Logic for Programming, Artificial Intelligence, and Reasoning, p.652-666
Volltextzugriff (PDF)


Open Access
Automata vs. Logics on Data Words
Computer Science Logic, p.110-124
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n