×

zbMATH — the first resource for mathematics

Found 6 Documents (Results 1–3)

Cook, B. (ed.) et al., Combined proceedings of the fourth workshop on pragmatics of decision procedures in automated reasoning (PDPAR 2006) and the first international workshop on probabilistic automata and logics (PaUL 2006), Seattle, WA, USA, August 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 174, No. 8, 71-93 (2007).
MSC:  68Q45 68Q60
BibTeX Cite
Full Text: DOI
WorldCat.org
Bemporad, Alberto (ed.) et al., Hybrid systems: computation and control. 10th international conference, HSCC 2007, Pisa, Italy, April 3–5, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-71492-7/pbk). Lecture Notes in Computer Science 4416, 718-722 (2007).
MSC:  68Q45 68Q85 93A30
BibTeX Cite
Full Text: DOI
WorldCat.org
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, 476-490 (2006).
MSC:  93C30 90C90
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Author
Year of Publication
Classification
Software