×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

100
MathJax
Hespanha, João (ed.) et al., Hybrid systems: Computation and control. 9th international workshop, HSCC 2006, Santa Barbara, CA, USA, March 29–31, 2006. Proceedings. Berlin: Springer (ISBN 3-540-33170-0/pbk). Lecture Notes in Computer Science 3927, 153-168 (2006).
PDF BibTeX XML Cite
Full Text: DOI
Alur, Rajeev (ed.) et al., Hybrid systems: computation and control. 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25–27, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21259-0/pbk). Lecture Notes in Computer Science 2993, 296-310 (2004).
MSC:  93C30 03B70
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Year of Publication
all top 3
Classification
Software