%0 Book
%A W. Rance Cleaveland )ed.(
%T Tools and algorithms for the construction and analysis of systems : 5th International Conference, TACAS'99, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings
%U /book/101381642/Tools-and-algorithms-for-the-construction-and-anal/