Formal Modeling and Analysis of Timed Systems
Paul Pettersson, Wang Yi
Formal Modeling and Analysis of Timed Systems - 2005
978-3-540-31616-9
Logics and Meanings of Programs
Software Engineering
Special Purpose and Application-Based Systems
Programming Languages, Compilers, Interpreters
Computer Science
Formal Modeling and Analysis of Timed Systems - 2005
978-3-540-31616-9
Logics and Meanings of Programs
Software Engineering
Special Purpose and Application-Based Systems
Programming Languages, Compilers, Interpreters
Computer Science