@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}
}
Last update 2005-12-02 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
