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

This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2002, held in Rostock, Germany in June 2002. The 19 revised full papers presented have gone through two rounds of reviewing,...

Full description

Bibliographic Details

Corporate Authors:	DSV-IS 2002 Rostock, Germany, SpringerLink (Online service)
Other Authors:	Forbrig, Peter, 1954-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2002]
Series:	Lecture notes in computer science ; 2545.
Subjects:	Interactive computer systems > Congresses. Interactive computer systems. Electronic books. Conference proceedings.
Online Access:	Connect to the full text of this electronic book