Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings

Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings

Bibliographic Details
Main Author: Chatterjee, Krishnendu
Corporate Author: SpringerLink (Online service)
Other Authors: Henzinger, Thomas A
Format: Electronic Kit Book
Language:English
Published: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Series:Lecture Notes in Computer Science 6246
Subjects:
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
Online Access:http://dx.doi.org/10.1007/978-3-642-15297-9

Similar Items

Similar Items