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

Main Author: Graf, Susanne
Other Authors: Schwartzbach, Michael
Format: eBook
Published: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2000
Series:Lecture Notes in Computer Science
Subjects:
Online Access:
Collection: Lecture Notes in Computer Science - Collection details see MPG.ReNa
Physical Description:v. digital
ISBN:9783540464198
978-3-540-67282-1