Format:
XVI, 538 S. :
,
Ill., graph. Darst.
ISBN:
978-3-540-75220-2
,
3-540-75220-X
Series Statement:
Lecture Notes in Computer Science 4700 : Festschrift
Language:
English
Subjects:
Computer Science
Keywords:
Echtzeitsystem
;
Hybrides System
;
Formale Methode
;
Festschrift
;
Konferenzschrift
;
Festschrift
;
Konferenzschrift
;
Kongress
;
Festschrift
;
Konferenzschrift
Author information:
Jones, Cliff B., 1944-
Author information:
Zhou, Chaochen, 1937-
Author information:
Bjørner, Dines, 1937-