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...
1, 2023
Volltextzugriff (PDF)

Symposium on Real-Time and Hybrid Systems, 2018, Vol.11180, p.186-210
2018
Volltextzugriff (PDF)

A Survey on Data-Flow Testing
ACM computing surveys, 2018-01, Vol.50 (1), p.1-35
2018
Volltextzugriff (PDF)


Energies (Basel), 2017, Vol.10 (2), p.185-185
2017
Volltextzugriff (PDF)


Formal aspects of computing, 2020-07, Vol.32 (2-3), p.275-314
2020
Volltextzugriff (PDF)

2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, 2015, Vol.1, p.654-665
2015
Volltextzugriff (PDF)

Theoretical computer science, 2006-11, Vol.365 (1), p.109-142
2006
Volltextzugriff (PDF)

Formal aspects of computing, 2010-03, Vol.22 (2), p.153-191
2010
Volltextzugriff (PDF)

Unifying Theories of Programming, 2017, Vol.10134, p.26-43
2017
Volltextzugriff (PDF)

Open Access
CSP is a retract of CCS
Theoretical computer science, 2010-03, Vol.411 (11), p.1311-1337
2010
Volltextzugriff (PDF)


Science China. Information sciences, 2016-09, Vol.59 (9), p.238-239, Article 98101
2016
Volltextzugriff (PDF)

Science of computer programming, 2018-09, Vol.162, p.3-34
2018
Volltextzugriff (PDF)

Open Access
Mutation testing in UTP
Formal aspects of computing, 2009-02, Vol.21 (1-2), p.33-64
2009
Volltextzugriff (PDF)

Open Access
LTL Satisfiability Checking Revisited
2013 20th International Symposium on Temporal Representation and Reasoning, 2013, p.91-98
2013
Volltextzugriff (PDF)

IEEE transactions on intelligent transportation systems, 2024-11, p.1-15
2024
Volltextzugriff (PDF)

CSP Is a Retract of CCS
Lecture notes in computer science, 2006, p.38-62
2006
Volltextzugriff (PDF)

Unifying Probability
Lecture notes in computer science, 2006, p.173-199
2006
Volltextzugriff (PDF)


Formal Methods and Software Engineering, 2011, p.1-13
2011
Volltextzugriff (PDF)

Abstract and Applied Analysis, 2013-01, Vol.2013 (2013), p.323-335-234
2013
Volltextzugriff (PDF)

Science China. Information sciences, 2012-12, Vol.55 (12), p.2675-2693
2012
Volltextzugriff (PDF)

Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n