Chatterjee, Krishnendu.
Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings / [electronic resource] : edited by Krishnendu Chatterjee, Thomas A. Henzinger. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6246 0302-9743 ; . - Lecture Notes in Computer Science, 6246 .
9783642152979
10.1007/978-3-642-15297-9 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 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings / [electronic resource] : edited by Krishnendu Chatterjee, Thomas A. Henzinger. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6246 0302-9743 ; . - Lecture Notes in Computer Science, 6246 .
9783642152979
10.1007/978-3-642-15297-9 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