Lecture Notes in Computer Science
Volume 1785, 2000, DOI: 10.1007/3-540-46419-0

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

Susanne Graf and Michael Schwartzbach

Contents

Viewing all 36 chapters
Search within

Browse This Book

  • Look Inside
  • Contents
  • ESM

About This Book

Title
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
Editors
Collection
Computer Science
Subjects
None Assigned
Copyright Year
2000
DOI
10.1007/3-540-46419-0
ISBN
978-3-540-67282-1
Additional Links
Publisher
Springer Berlin / Heidelberg
SpringerLink Date
Sunday, June 29, 2003

About This Book Series

Title
Lecture Notes in Computer Science
Coverage
Volume 1 / 1973 - Volume 7260 / 2012
Collection
Computer Science
Subjects
ISSN
0302-9743 (Print)
1611-3349 (Online)
Additional Links
Publisher
Springer Berlin / Heidelberg
SpringerLink Date
Friday, April 05, 2002