zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

Henzinger, Thomas A. (ed.) et al., Embedded software. 1st international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8–10, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42673-6). Lect. Notes Comput. Sci. 2211, 166-184 (2001).
MSC:  68N99
BibTeX Cite
Full Text: Link
Lynch, Nancy (ed.) et al., Hybrid systems: computation and control. 3rd international workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1790, 130-144 (2000).
MSC:  93C30 93B40
BibTeX Cite

Filter Results by …

Year of Publication