dblp.uni-trier.de www.uni-trier.de

5. TACAS 1999: Amsterdam, The Netherlands (Part of ETAPS 1999)

Rance Cleaveland (Ed.): Tools and Algorithms for Construction and Analysis of Systems, 5th International Conference, TACAS '99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings. Lecture Notes in Computer Science 1579 Springer 1999, ISBN 3-540-65703-7 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
@proceedings{DBLP:conf/tacas/1999,
  editor    = {Rance Cleaveland},
  title     = {Tools and Algorithms for Construction and Analysis of Systems,
               5th International Conference, TACAS '99, Held as Part of the
               European Joint Conferences on the Theory and Practice of Software,
               ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings},
  booktitle = {TACAS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1579},
  year      = {1999},
  isbn      = {3-540-65703-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Contribution

Real-Time

Case Studies

Compositionality and Abstraction

Symbolic Analysis

Process Algebra

Frameworks for System Construction and Analysis

Tool Descriptions

Copyright © Mon Nov 2 21:15:41 2009 by Michael Ley (ley@uni-trier.de)