Interactive Systems. Design, Specification, and Verification 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers /

Corporate Author: SpringerLink (Online service)
Other Authors: Gilroy, Stephen W., Harrison, Michael D.
Format: Electronic
Language: English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
Series: Lecture Notes in Computer Science, 3941
Subjects:
Online Access: http://dx.doi.org/10.1007/11752707
Tags: Add Tag
No Tags, Be the first to tag this record!