×

zbMATH — the first resource for mathematics

Found 13 Documents (Results 1–13)

100
MathJax
Electronic Notes in Theoretical Computer Science 309. Amsterdam: Elsevier. 107 p., electronic only (2014).
MSC:  68-06 68N30 00B25
PDF BibTeX XML Cite
Full Text: Link
Electronic Notes in Theoretical Computer Science 207. Amsterdam: Elsevier. 217 p., electronic only (2008).
MSC:  68-06 68N30 00B25
PDF BibTeX XML Cite
Full Text: Link
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, 83-114 (2007).
MSC:  68N99
PDF BibTeX XML Cite
Full Text: DOI