APA (7th ed.) Citation

TACAS (Conference) Lisbon, Portugal), SpringerLink (Online service), LINK (Online service), ETAPS (Conference), & Steffen, B. (1998). Tools and algorithms for the construction and analysis of systems: 4th International Conference, TACAS '98, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4,1998, proceedings. Springer.

Chicago Style (17th ed.) Citation

TACAS (Conference) Lisbon, Portugal), SpringerLink (Online service), LINK (Online service), ETAPS (Conference), and Bernhard Steffen. Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS '98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4,1998, Proceedings. New York: Springer, 1998.

MLA (9th ed.) Citation

TACAS (Conference) Lisbon, Portugal), et al. Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS '98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4,1998, Proceedings. Springer, 1998.