ePrints

Interactive Systems: Design, Specification and Verification. 12th International Workshop (DSVIS). Newcastle upon Tyne, UK. 13-15 July 2005

Lookup NU author(s): Professor Michael HarrisonORCiD

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

Publication metadata

Editor(s): Gilroy SW, Harrison MD

Publication type: Edited Book

Publication status: Published

Series Title: Lecture Notes in Computer Science

Year: 2006

Volume: 3941

Number of Pages: 263

Publisher: Springer

Place Published: Berlin; New York

Notes: Revised papers

Library holdings: Search Newcastle University Library for this item

ISBN: 9783540341451

Share