UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Interactive Systems. Design, Specification, and Verification, 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers

(2007) Interactive Systems. Design, Specification, and Verification, 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers. In: Doherty, GJ and Blandford, A, (eds.) DSV-IS. Springer

Full text not available from this repository.


Type:Proceedings paper
Title:Interactive Systems. Design, Specification, and Verification, 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers
ISBN-13:978-3-540-69553-0
UCL classification:UCL > School of BEAMS > Faculty of Engineering Science > Computer Science

Archive Staff Only: edit this record