International Workshop on Design, Specification, and Verification of Interactive Systems
-
2008
DSV-IS 2008
- 16-18 July
- Kingston, ON, Canada
-
Interactive Systems. Design, Specification, and Verification
29 Papers
1 Volume
-
2006
DSV-IS 2006
- 26-28 July
- Dublin, Ireland
-
Interactive Systems. Design, Specification, and Verification
22 Papers
1 Volume
-
2005
DSV-IS 2005
- 13-15 July
- Newcastle upon Tyne, United Kingdom
-
Interactive Systems. Design, Specification, and Verification
25 Papers
1 Volume
-
2003
DSV-IS 2003
- 11-13 June
- Funchal, Madeira, Portugal
-
Interactive Systems. Design, Specification, and Verification
32 Papers
1 Volume
-
2002
DSV-IS 2002
- 12-14 June
- Rostock, Germany
-
Interactive Systems:Design, Specification, and Verification
19 Papers
1 Volume
-
2001
DSV-IS 2001
- 13-15 June
- Glasgow, United Kingdom
-
Interactive Systems: Design, Specification, and Verification
12 Papers
1 Volume
-
2000
DSV-IS 2000
- 5-6 June
- Limerick, Ireland
-
Interactive Systems Design, Specification, and Verification
14 Papers
1 Volume