Formal Modeling and Analysis of Timed Systems Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Pettersson, Paul (Editor), Yi, Wang (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
• Series: Lecture Notes in Computer Science, 3829
• Subjects: Computer science.; Special purpose computers.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Computer Science.; Logics and Meanings of Programs.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Special Purpose and Application-Based Systems.