Katalog der Deutschen Nationalbibliothek

Ergebnis der Suche nach: "118183540"
im Bestand: Gesamter Bestand

21 - 30 von 30

	21	Axioms for real-time logics Henzinger, Thomas. - Saarbrücken : MPI Informatik, Bibliothek & Dokumentation, 1999
	22	Fully decidable logics, automata and classical theories for defining regular real-time languages Henzinger, Thomas. - Saarbrücken : MPI Informatik, Bibliothek & Dokumentation, 1999
	23	Hybrid systems Berlin : Springer, 1998
	24	Computing Accumulated Delays in Real-time Systems Enthalten in Formal methods in system design Bd. 11, Nr. 2, date:8.1997: 137-155
	25	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
	26	Model checking transactional memories Enthalten in Distributed computing Bd. 22, 1.12.2009, Nr. 3, date:3.2010: 129-145
	27	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
	28	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
	29	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
	30	Henzinger, Thomas 1962- / Informatiker