×

zbMATH — the first resource for mathematics

Found 5 Documents (Results 1–3)

Di Benedetto, Maria Domenica (ed.) et al., Hybrid systems: Computation and control. 4th international workshop, HSCC 2001, Rome, Italy, March 28-30, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2034, 33-48 (2002).
MSC:  93C30 93A13
BibTeX Cite
Full Text: Link
WorldCat.org
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’00, Boston, MA, USA, January 19–21, 2000. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-125-9). 390-402 (2000).
MSC:  68N30 68Q55 68Q85
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Document Type
Author
Year of Publication
Classification
Software