Sortiert nach
Science of computer programming, 1993, Vol.21 (1), p.1-56
1993
Link zum Volltext
Tools and Algorithms for the Construction and Analysis of Systems, 2003, p.97-112
2003
Link zum Volltext
Theoretical computer science, 2000-05, Vol.239 (1), p.165-185
2000
Link zum Volltext
Computer Aided Verification, 2005, p.311-322
2005
Link zum Volltext
Lecture notes in computer science, 2002, Vol.2514, p.190-201
2002
Link zum Volltext
STACS 94, 2005, p.275-286
2005
Link zum Volltext
Lecture notes in computer science, 1998, p.424-438
1998
Link zum Volltext
CONCUR '90 Theories of Concurrency: Unification and Extension, 2005, p.298-313
2005
Link zum Volltext
ESOP '90, 2005, p.161-176
2005
Link zum Volltext
Science of computer programming, 1990, Vol.14 (2), p.185-228
1990
Link zum Volltext
Computer Aided Verification, 1995, p.70-83
1995
Link zum Volltext
Mathematics of Program Construction, 1989, p.219-238
1989
Link zum Volltext
TAPSOFT '89, 1989, p.210-224
1989
Link zum Volltext
CAAP '88, 1988, p.185-199
1988
Link zum Volltext
Automated Deduction — CADE-16, p.222-226
Link zum Volltext
PARLE Parallel Architectures and Languages Europe, 1987, p.261-276
1987
Link zum Volltext
Formal Methods and Software Development, 1985, p.325-338
1985
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Mutual Exclusion
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Engineering, Computing & Technology
- Ingénierie, Informatique & Technologie
- Safety Property
- Sciences Informatiques
- Computer Science, Software Engineering
- Concurrent System
- Critical Section
- Additional Hypothesis
- Concurrent Program
- Model Check
- Software
- Theoretical Computing
Kollektion
Zeitschrift / Serie