UB Paderborn / Katalog / Suche / in CDI

Job Satisfaction and Acculturation Among Filipino Registered Nurses

Journal of nursing scholarship, 2008-03, Vol.40 (1), p.46-51

2008

Volltextzugriff (PDF)

An Educational Intervention to Evaluate Nurses' Knowledge of Heart Failure

The Journal of continuing education in nursing, 2018-07, Vol.49 (7), p.315

2018

Volltextzugriff (PDF)

Preparing the doctor of nursing practice graduates to lead nursing education: Ideas, strategies, recommendations, and implications

Journal of professional nursing, 2021-05, Vol.37 (3), p.529-533

2021

Volltextzugriff (PDF)

Self-care among Filipinos in the United States who have hypertension

Applied nursing research, 2018-02, Vol.39, p.71-76

2018

Volltextzugriff (PDF)

Incorporating climate change into Doctor of Nursing Practice curricula

Journal of professional nursing, 2022-09, Vol.42, p.156-161

2022

Volltextzugriff (PDF)

Reducing Model Checking of the Many to the Few

Automated Deduction - CADE-17, 2000, p.236-254

2000

Volltextzugriff (PDF)

Parameterized Model Checking of ring-based message passing systems

Lecture notes in computer science, 2004, p.325-339

2004

Volltextzugriff (PDF)

Self-care among Filipinos in the United States who have hypertension

Ea, Emerson E

2016

Volltextzugriff (PDF)

Exact and Efficient Verification of Parameterized Cache Coherence Protocols

Correct Hardware Design and Verification Methods, 2003, p.247-262

2003

Volltextzugriff (PDF)

Symmetry and model checking

Formal methods in system design, 1996-08, Vol.9 (1-2), p.105-131

1996

Volltextzugriff (PDF)

On model checking for the μ-calculus and its fragments

Theoretical computer science, 2001, Vol.258 (1), p.491-522

2001

Volltextzugriff (PDF)

Facilitating Acculturation of Foreign-Educated Nurses

Online journal of issues in nursing, 2008-01, Vol.13 (1), p.N_A

Ea, Emerson E

2008

Volltextzugriff (PDF)

The Complexity of Tree Automata and Logics of Programs

SIAM journal on computing, 1999, Vol.29 (1), p.132-158

1999

Volltextzugriff (PDF)

Synthesis of fault-tolerant concurrent programs

ACM transactions on programming languages and systems, 2004-01, Vol.26 (1), p.125-185

2004

Volltextzugriff (PDF)

Dynamic Symmetry Reduction

Lecture notes in computer science, 2005, p.382-396

2005

Volltextzugriff (PDF)

SMC: a symmetry-based model checker for verification of safety and liveness properties

ACM transactions on software engineering and methodology, 2000-04, Vol.9 (2), p.133-166

2000

Volltextzugriff (PDF)

On partitioning and symbolic model checking

IEEE transactions on computer-aided design of integrated circuits and systems, 2006-05, Vol.25 (5), p.780-788

2006

Volltextzugriff (PDF)

Model Checking Large-Scale and Parameterized Resource Allocation Systems

Lecture notes in computer science, 2002, p.251-265

2002

Volltextzugriff (PDF)

Model checking guarded protocols

18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings, 2003, p.361-370

2003

Volltextzugriff (PDF)

Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols

Tools and Algorithms for the Construction and Analysis of Systems, p.144-159

Volltextzugriff (PDF)

A Partitioning Methodology for BDD-Based Verification

Formal Methods in Computer-Aided Design, 2004, p.399-413

2004

Volltextzugriff (PDF)

On Partitioning and Symbolic Model Checking

FM 2005: Formal Methods, 2005, p.497-511

2005

Volltextzugriff (PDF)

Model Checking: Theory into Practice

FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science, 2000, p.1-10

2000

Volltextzugriff (PDF)

Sometimes» and «not never» revisited: On branching versus linear time temporal logic

Journal of the ACM, 1986-01, Vol.33 (1), p.151-178

1986

Volltextzugriff (PDF)

Automatic verification of finite-state concurrent systems using temporal logic specifications

ACM transactions on programming languages and systems, 1986-04, Vol.8 (2), p.244-263

1986

Volltextzugriff (PDF)

Menü

Weitere Dienste

Einstellungen

Job Satisfaction and Acculturation Among Filipino Registered Nurses

An Educational Intervention to Evaluate Nurses' Knowledge of Heart Failure

Preparing the doctor of nursing practice graduates to lead nursing education: Ideas, strategies, recommendations, and implications

Self-care among Filipinos in the United States who have hypertension

Incorporating climate change into Doctor of Nursing Practice curricula

Reducing Model Checking of the Many to the Few

Parameterized Model Checking of ring-based message passing systems

Self-care among Filipinos in the United States who have hypertension

Exact and Efficient Verification of Parameterized Cache Coherence Protocols

Symmetry and model checking

On model checking for the μ-calculus and its fragments

Facilitating Acculturation of Foreign-Educated Nurses

The Complexity of Tree Automata and Logics of Programs

Synthesis of fault-tolerant concurrent programs

Dynamic Symmetry Reduction

SMC: a symmetry-based model checker for verification of safety and liveness properties

On partitioning and symbolic model checking

Model Checking Large-Scale and Parameterized Resource Allocation Systems

Model checking guarded protocols

Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols

A Partitioning Methodology for BDD-Based Verification

On Partitioning and Symbolic Model Checking

Model Checking: Theory into Practice

Sometimes» and «not never» revisited: On branching versus linear time temporal logic

Automatic verification of finite-state concurrent systems using temporal logic specifications

Suchergebnisse filtern