You can manage bookmarks using lists, please log in to your user account for this.
Media type:
Book;
Conference Proceedings
Title:
Tools and algorithms for the construction and analysis of systems
:
11th International Conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4 - 8, 2005 ; proceedings