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...
Journal of neonatal-perinatal medicine, 2022-01, Vol.15 (3), p.567-574
2022
Volltextzugriff (PDF)

Journal of the Academy of Nutrition and Dietetics, 2023-10, Vol.123 (10), p.A36-A36
2023
Volltextzugriff (PDF)

Journal of neonatal-perinatal medicine, 2022-01, Vol.15 (1), p.147-154
2022
Volltextzugriff (PDF)

Journal of the Academy of Nutrition and Dietetics, 2021-09, Vol.121 (9), p.A28-A28
2021
Volltextzugriff (PDF)

Open Access
The part-time parliament
ACM transactions on computer systems, 1998-05, Vol.16 (2), p.133-169
1998
Volltextzugriff (PDF)

IEEE transactions on computers, 1997-07, Vol.46 (7), p.779-782
1997
Volltextzugriff (PDF)

Journal of the Academy of Nutrition and Dietetics, 2017-09, Vol.117 (9), p.A30-A30
2017
Volltextzugriff (PDF)

Journal of the Academy of Nutrition and Dietetics, 2017-09, Vol.117 (9), p.A22-A22
2017
Volltextzugriff (PDF)

Open Access
The temporal logic of actions
ACM transactions on programming languages and systems, 1994-05, Vol.16 (3), p.872-923
1994
Volltextzugriff (PDF)

Correct Hardware Design and Verification Methods, 2005, p.162-175
1ère éd, 2005
Volltextzugriff (PDF)

Open Access
Proving possibility properties
Theoretical computer science, 1998-10, Vol.206 (1), p.341-352
1998
Volltextzugriff (PDF)

TLA in pictures
IEEE transactions on software engineering, 1995-09, Vol.21 (9), p.768-775
1995
Volltextzugriff (PDF)

IEEE transactions on software engineering, 1977-03, Vol.SE-3 (2), p.125-143
1977
Volltextzugriff (PDF)

2005 International Conference on Dependable Systems and Networks (DSN'05), 2005, p.22-27
2005
Volltextzugriff (PDF)

Future Directions in Distributed Computing, 2003, Vol.2584, p.22-23
2003
Volltextzugriff (PDF)

Journal of the ACM, 1980-04, Vol.27 (2), p.228-234
1980
Volltextzugriff (PDF)

Distributed computing, 1986-06, Vol.1 (2), p.86-101
1986
Volltextzugriff (PDF)

Disk Paxos
Distributed computing, 2003-02, Vol.16 (1), p.1-20
2003
Volltextzugriff (PDF)

Open Access
Fairness and hyperfairness
Distributed computing, 2000-11, Vol.13 (4), p.239-245
2000
Volltextzugriff (PDF)

Open Access
The weak byzantine generals problem
Journal of the ACM, 1983-07, Vol.30 (3), p.668-676
1983
Volltextzugriff (PDF)


Open Access
Conjoining specifications
ACM transactions on programming languages and systems, 1995-05, Vol.17 (3), p.507-535
1995
Volltextzugriff (PDF)

Arbitration-free synchronization
Distributed computing, 2003-09, Vol.16 (2-3), p.219-237
2003
Volltextzugriff (PDF)

Open Access
The existence of refinement mappings
Theoretical computer science, 1991-05, Vol.82 (2), p.253-284
1991
Volltextzugriff (PDF)

Open Access
Model Checking TLA+ Specifications
Correct Hardware Design and Verification Methods, 1999, p.54-66
1999
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n