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

This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2001, held in Glasgow, Scotland, UK, in June 2001. The 12 revised full papers presented have gone through two rounds of revie...

Full description

Bibliographic Details

Corporate Authors:	DSV-IS 2001 Glasgow, Scotland, SpringerLink (Online service)
Other Authors:	Johnson, Chris (Chris W.)
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2001]
Series:	Lecture notes in computer science ; 2220.
Subjects:	Interactive computer systems > Congresses. Interactive computer systems. Electronic books. Conference proceedings.
Online Access:	Connect to the full text of this electronic book