APA (7th ed.) Citation

(1999). Tools and algorithms for the construction and analysis of systems: 5th international conference, TACAS '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999 : proceedings / W. Rance Cleaveland, ed.

Chicago Style (17th ed.) Citation

Tools and Algorithms for the Construction and Analysis of Systems: 5th International Conference, TACAS '99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999 : Proceedings / W. Rance Cleaveland, Ed. 1999.

MLA (9th ed.) Citation

Tools and Algorithms for the Construction and Analysis of Systems: 5th International Conference, TACAS '99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999 : Proceedings / W. Rance Cleaveland, Ed. 1999.