TACAS '2000 (6th 2000 Berlin, Germany) profile picture

TACAS '2000 (6th 2000 Berlin, Germany)

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Tools and algorithms for the construction and analysis of systems
Tools and algorithms for the construction and analysis of systems: 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practices of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings
Tools and algorithms for the construction and analysis of systems: 6th International Conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings
Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences ... (Lecture Notes in Computer Science)