×

zbMATH — the first resource for mathematics

Found 9 Documents (Results 1–9)

100
MathJax
Majumdar, Rupak (ed.) et al., Hybrid systems: Computation and control. 12th international conference, HSCC 2009, San Francisco, CA, USA, April 13–15, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00601-2/pbk). Lecture Notes in Computer Science 5469, 485-489 (2009).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI
Cha, Sungdeok (Steve) (ed.) et al., Automated technology for verification and analysis. 6th international symposium, ATVA 2008, Seoul, Korea, October 20–23, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-88386-9/pbk). Lecture Notes in Computer Science 5311, 258-273 (2008).
MSC:  68Q60 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Ibarra, Oscar H. (ed.) et al., Implementation and application of automata. 8th international conference, CIAA 2003, Santa Barbara, CA, USA, July 16–18, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40561-5/pbk). Lect. Notes Comput. Sci. 2759, 176-187 (2003).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI