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

2. TACAS 1996: Passau, Germany

Tiziana Margaria, Bernhard Steffen (Eds.): Tools and Algorithms for Construction and Analysis of Systems, Second International Workshop, TACAS '96, Passau, Germany, March 27-29, 1996, Proceedings. Lecture Notes in Computer Science 1055 Springer 1996, ISBN 3-540-61042-1 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
@proceedings{DBLP:conf/tacas/1996,
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {Tools and Algorithms for Construction and Analysis of Systems,
               Second International Workshop, TACAS '96, Passau, Germany, March
               27-29, 1996, Proceedings},
  booktitle = {TACAS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1055},
  year      = {1996},
  isbn      = {3-540-61042-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Lectures

Regular Session

Tool Presentation

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