You can manage bookmarks using lists, please log in to your user account for this.
Media type:
Book;
Conference Proceedings
Title:
Formal modeling and analysis of timed systems
:
Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26 - 28, 2005, proceedings