Sortiert nach
Informatik-Spektrum, 2022, Vol.45 (1), p.45-46
2022
Volltextzugriff (PDF)
1994
Volltextzugriff (PDF)
Informatik-Spektrum, 2010-12, Vol.33 (6), p.634-646
2010
Volltextzugriff (PDF)
1, 1972
Volltextzugriff (PDF)
Informatik-Spektrum, 2010-06, Vol.33 (3), p.302-308
2010
Volltextzugriff (PDF)
Informatik-Spektrum, 2010-08, Vol.33 (4), p.384-392
2010
Volltextzugriff (PDF)
1st edition, 2013
Volltextzugriff (PDF)
Lecture notes in computer science, 2004, p.209-235
2004
Volltextzugriff (PDF)
1990
Volltextzugriff (PDF)
Abstract State Machines 2004. Advances in Theory and Practice, 2004, p.20-37
2004
Volltextzugriff (PDF)
Informatik-Spektrum, 2002-04, Vol.25 (2), p.132-137
2002
Volltextzugriff (PDF)
1972
Volltextzugriff (PDF)
Formal Techniques in Real-Time and Fault-Tolerant Systems, 2005, p.128-148
2005
Volltextzugriff (PDF)
Formal Methods and Hybrid Real-Time Systems, p.414-434
Volltextzugriff (PDF)
Information and computation, 2009-03, Vol.207 (3), p.389-410
2009
Volltextzugriff (PDF)
From Object-Orientation to Formal Methods, p.209-235
Volltextzugriff (PDF)
Concurrency, Compositionality, and Correctness, p.74-95
Volltextzugriff (PDF)
Mathematical Studies of Information Processing, 2005, p.538-558
2005
Volltextzugriff (PDF)
Real-time systems, 1997-11, Vol.13 (3), p.253-275
1997
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Software
- Computer Systems And Distributed Systems. User Interface
- Temporal Logic
- Parallel Composition
- Software Engineering
- Water Level
- Programming Languages
- Physical Unit
- Proof System
- Model Check
- Software Engineering/programming And Operating Systems
- Hybrid System
- Programming Languages, Compilers, Interpreters
Kollektion
- Ingenta
- Springer Book Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Springer journals
- Elsevier ScienceDirect Journals Complete
- EZB Electronic Journals Library
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- De Gruyter journals
- RCN full-text journals@Ovid