Sortiert nach
Electronic notes in theoretical computer science, 2007-07, Vol.187, p.19-34
2007
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2009-07, Vol.240, p.201-219
2009
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2006-08, Vol.161, p.73-90
2006
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2007-07, Vol.187, p.107-123
2007
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2004-05, Vol.95, p.209-225
2004
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2005-07, Vol.137 (2), p.45-66
2005
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2003-10, Vol.74, p.1-20
2003
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2003-08, Vol.80, p.235-250
2003
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2003-08, Vol.80, p.235-250
2003
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2002-11, Vol.70 (3), p.132-162
2002
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2002-11, Vol.70 (3), p.1-2
2002
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Computer Science, Theory & Methods
- Science & Technology
- Technology
- Csp
- Refinement
- Utp
- Application Programming Interface
- Concurrency
- Denotational Semantics
- Fdr
- Handel-C
- Handel-C Synthesis
- Hardware Compilation
- Hol
- Labelled Transition Systems
- Mechanical Verification
- Model Checking
- Predicate Transformers
- Refinement Calculus
Kollektion