|
Conferences in DBLP
[Citations per Year][Position Graph]Design, Specification, and Verification of Interactive Systems (DSV-IS)- Design, Specification, and Verification of Interactive Systems (DSV-IS), 1994 (conf/dsvis/1994) (26 publications)
- Design, Specification, and Verification of Interactive Systems (DSV-IS), 1995 (conf/dsvis/1995) (24 publications)
- Design, Specification, and Verification of Interactive Systems (DSV-IS), 1996 (conf/dsvis/1996) (19 publications)
- Design, Specification, and Verification of Interactive Systems (DSV-IS), 1997 (conf/dsvis/1997) (20 publications)
- Design, Specification, and Verification of Interactive Systems (DSV-IS), 1998 (conf/dsvis/1998-2) (5 publications)
- Design, Specification, and Verification of Interactive Systems (DSV-IS), 1998 (conf/dsvis/1998-1) (23 publications)
- Design, Specification, and Verification of Interactive Systems (DSV-IS), 1999 (conf/dsvis/1999) (22 publications)
- Design, Specification, and Verification of Interactive Systems (DSV-IS), 2000 (conf/dsvis/2000) (14 publications)
- Design, Specification, and Verification of Interactive Systems (DSV-IS), 2001 (conf/dsvis/2001) (12 publications)
- Design, Specification, and Verification of Interactive Systems (DSV-IS), 2002 (conf/dsvis/2002) (19 publications)
- Design, Specification, and Verification of Interactive Systems (DSV-IS), 2003 (conf/dsvis/2003) (32 publications)
- Design, Specification, and Verification of Interactive Systems (DSV-IS), 2005 (conf/dsvis/2005) (25 publications)
- Design, Specification, and Verification of Interactive Systems (DSV-IS), 2006 (conf/dsvis/2006) (22 publications)
- Design, Specification, and Verification of Interactive Systems (DSV-IS), 2008 (conf/dsvis/2008) (29 publications)
|