(2006). Interactive systems: Design, specification and verification ; 12th international workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13 - 15, 2005 ; revised papers. Springer. https://doi.org/10.1007/11752707
Chicago Style (17th ed.) CitationInteractive Systems: Design, Specification and Verification ; 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13 - 15, 2005 ; Revised Papers. Berlin [u.a.]: Springer, 2006. https://doi.org/10.1007/11752707.
MLA (9th ed.) CitationInteractive Systems: Design, Specification and Verification ; 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13 - 15, 2005 ; Revised Papers. Springer, 2006. https://doi.org/10.1007/11752707.
Warning: These citations may not always be 100% accurate.