Fahrenberg, Uli.
Formal Modeling and Analysis of Timed Systems 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings / [electronic resource] : edited by Uli Fahrenberg, Stavros Tripakis. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6919 0302-9743 ; . - Lecture Notes in Computer Science, 6919 .
9783642243103
10.1007/978-3-642-24310-3 doi
Computer science.
Software engineering.
Computer software.
Logic design.
Computer Science.
Logics and Meanings of Programs.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
Programming Techniques.
Algorithm Analysis and Problem Complexity.
QA76.9.L63 QA76.5913 QA76.63
005.1015113
Formal Modeling and Analysis of Timed Systems 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings / [electronic resource] : edited by Uli Fahrenberg, Stavros Tripakis. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6919 0302-9743 ; . - Lecture Notes in Computer Science, 6919 .
9783642243103
10.1007/978-3-642-24310-3 doi
Computer science.
Software engineering.
Computer software.
Logic design.
Computer Science.
Logics and Meanings of Programs.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
Programming Techniques.
Algorithm Analysis and Problem Complexity.
QA76.9.L63 QA76.5913 QA76.63
005.1015113