Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings - Majumdar, Rupak; Tabuada, Paulo; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2009)
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