4. TACAS 1998:
Lisbon,
Portugal (Part of ETAPS 1998)
Bernhard Steffen (Ed.):
Tools and Algorithms for Construction and Analysis of Systems, 4th International Conference, TACAS '98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings.
Lecture Notes in Computer Science 1384 Springer 1998, ISBN 3-540-64356-7 BibTeX
@proceedings{DBLP:conf/tacas/1998,
editor = {Bernhard Steffen},
title = {Tools and Algorithms for Construction and Analysis of Systems,
4th International Conference, TACAS '98, Held as Part of the
European Joint Conferences on the Theory and Practice of Software,
ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings},
booktitle = {TACAS},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1384},
year = {1998},
isbn = {3-540-64356-7},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Lecture
1. Model Checking
2. Design and Architecture
Various Applications
4. Fielded Applications
5. Verification of Real-Time Systems
6. Mixed Analysis Techniques
7. Case Studies and Experience
Copyright © Sat May 16 23:43:26 2009
by Michael Ley (ley@uni-trier.de)