Cover Image

Formal Modeling and Analysis of Timed Systems 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings /

This volume contains the proceedings of the 4th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2006), held in Paris (France) on September 25-27, 2006. FORMATS aims to be a major - nual event dedicated to the study of timed systems, uniting three independently sta...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Asarin, Eugene. (Editor, http://id.loc.gov/vocabulary/relators/edt), Bouyer, Patricia. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format: Electronic eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Edition:1st ed. 2006.
Series:Theoretical Computer Science and General Issues ; 4202
Subjects:
Computer logic.
Software engineering.
Programming languages (Electronic computers).
Special purpose computers.
Logics and Meanings of Programs.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Online Access:https://doi.org/10.1007/11867340
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

https://doi.org/10.1007/11867340

Similar Items