×

zbMATH — the first resource for mathematics

Found 7 Documents (Results 1–7)

100
MathJax
Jones, Cliff B. (ed.) et al., Formal methods and hybrid real-time systems. Essays in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays. Berlin: Springer (ISBN 978-3-540-75220-2/pbk). Lecture Notes in Computer Science 4700, 504-520 (2007).
PDF BibTeX XML Cite
Full Text: DOI
Amsterdam etc.: North-Holland. XVI, 790 p. (1991).
MSC:  68-06 00B25
PDF BibTeX XML Cite