|
21 |
Embedded software
Berlin : Springer, 2001
|
|
|
22 |
Axioms for real-time logics
Henzinger, Thomas. - Saarbrücken : MPI Informatik, Bibliothek & Dokumentation, 1999
|
|
|
|
23 |
Fully decidable logics, automata and classical theories for defining regular real-time languages
Henzinger, Thomas. - Saarbrücken : MPI Informatik, Bibliothek & Dokumentation, 1999
|
|
|
|
24 |
Hybrid systems
Berlin : Springer, 1998
|
|
|
25 |
Computing Accumulated Delays in Real-time Systems
Enthalten in Formal methods in system design Bd. 11, Nr. 2, date:8.1997: 137-155
|
|
|
|
26 |
HYTECH: a model checker for hybrid systems
Enthalten in International journal on software tools for technology transfer Bd. 1, 27.2.2014, Nr. 1-2, date:12.1997: 110-122
|
|
|
|
27 |
Model checking transactional memories
Enthalten in Distributed computing Bd. 22, 1.12.2009, Nr. 3, date:3.2010: 129-145
|
|
|
|
28 |
Preface of the Special Issue in Memoriam Helmut Veith
Enthalten in Formal methods in system design Bd. 51, 14.11.2017, Nr. 2, date:11.2017: 267-269
|
|
|
|
29 |
Qualitative networks: a symbolic approach to analyze biological signaling networks
Enthalten in BMC systems biology Bd. 1, 08.1.2007, Nr. 1, date:12.2007: 1-21
|
|
|
|
30 |
Solving the chemical master equation using sliding windows
Enthalten in BMC systems biology Bd. 4, 8.4.2010, Nr. 1, date:12.2010: 1-19
|
|
Administration
