Title:
Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers
Author:
Doherty, Gavin. editor.
ISBN:
9783540695547
Physical Description:
XI, 269 p. Also available online. online resource.
Series:
Lecture Notes in Computer Science, 4323
Series Title:
Lecture Notes in Computer Science, 0302-9743 ; 4323
Added Author:
Added Corporate Author:
Electronic Access:
http://dx.doi.org/10.1007/978-3-540-69554-7Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 185860-2001 | ONLINE | Searching... | Searching... |