Home > Interactive Systems. Design, Specification, and Verification: 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers
Interactive Systems. Design, Specification, and Verification: 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers
Book Informaton
Access Options
Citation Options
Download CitationShowing 1 to 16 of 16 entries
Chapters/Headings | Author(s) | Pages | Info |
I-X | |||
1-17 | |||
19-33 | |||
35-50 | |||
51-63 | |||
65-77 | |||
79-95 | |||
97-119 | |||
121-133 | |||
135-150 | |||
151-168 | |||
169-190 | |||
191-205 | |||
207-226 | |||
227-246 | |||
247-251 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 16 of 16 entries