Raskin, Jean-François.
Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings / [electronic resource] : edited by Jean-François Raskin, P. S. Thiagarajan. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - digital. - Lecture Notes in Computer Science, 4763 0302-9743 ; . - Lecture Notes in Computer Science, 4763 .
9783540754541
10.1007/978-3-540-75454-1 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Logics and Meanings of Programs.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
QA76.9.L63 QA76.5913 QA76.63
005.1015113
Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings / [electronic resource] : edited by Jean-François Raskin, P. S. Thiagarajan. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - digital. - Lecture Notes in Computer Science, 4763 0302-9743 ; . - Lecture Notes in Computer Science, 4763 .
9783540754541
10.1007/978-3-540-75454-1 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Logics and Meanings of Programs.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
QA76.9.L63 QA76.5913 QA76.63
005.1015113