Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings - Egerstedt, Magnus; Mishra, Bud.; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2008)
Keywords: Computer science; Software engineering; Logic design; Computer simulation; Computer Science; Special Purpose and Application-Based Systems; Processor Architectures; Logics and Meanings of Programs; Software Engineering; Computation by Abstract Devices; Simulation and Modeling