DSV-IS

ID:DA13023508

Alias Name

Workshop on Design, Specification, and Verification of Interactive Systems, International

International Workshop on Design, Specification, and Verification of Interactive Systems

DSVIS

Related Author Name: Eurographics Workshop on Design, Specification, and Verification of Interactive Systems

Search authors sharing the same name

Search Results1-7 of 7

1

Interactive Systems : Design, Specification, and Verification : 15th International Workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008, proceedings

T.S. Nicholas Graham, Philippe Palanque (eds.)

Springer c2008 Lecture notes in computer science 5136

Available at 1 libraries
2

Interactive Systems : Design, Specification, and Verification : 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006 : revised papers

Gavin Doherty, Ann Blandford (eds.)

Springer c2007 Lecture notes in computer science 4323

Available at 4 libraries
3

Interactive systems : design, specification, and verification : 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005 : revised papers

Stephen W. Gilroy, Michael D. Harrison (eds.)

Springer c2006 Lecture notes in computer science 3941

Available at 8 libraries
4

Interactive systems : design, specification, and verification : 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003 : revised papers

Joaquim A. Jorge, Nuno Jardim Nunes, João Falcão e Cunha (eds.)

Springer c2003 Lecture notes in computer science 2844

Available at 20 libraries
5

Interactive systems : design, specification, and verification : 9th International Workshop, DSV-IS 2002, Rostock, Germany, June 12-14, 2002 : revised papers

Peter Forbrig ... [et al.] (eds.)

Springer c2002 Lecture notes in computer science 2545

Available at 19 libraries
6

Interactive systems : design, specification, and verification : 8th International Workshop, DSV-IS 2001, Glasgow, Scotland, UK, June 13-15, 2001 : revised papers

Chris Johnson (ed.)

Springer c2001 Lecture notes in computer science 2220

Available at 24 libraries
7

Interactive systems : design, specification, and verification : 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000 : revised papers

Philippe Palanque, Fabio Paternò (eds.)

Springer c2001 Lecture notes in computer science 1946

Available at 33 libraries

DSV-IS

Search Results1-7 of 7

Search this author

Related Authors