APA (7th ed.) Citation

SpringerLink (Online service), Graham, T. C. N., & Palanque, P. (2008). Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers. Springer Berlin Heidelberg.

Chicago Style (17th ed.) Citation

SpringerLink (Online service), T. C. Nicholas Graham, and Philippe Palanque. Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008.

MLA (8th ed.) Citation

SpringerLink (Online service), et al. Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers. Springer Berlin Heidelberg, 2008.