The open archive for STFC research publications

ePubs is undergoing scheduled maintenance on 06/12/2022 between 08:30-09:00 and the service will be unavailable during this time.

Full Record Details

Persistent URL http://purl.org/net/epubs/work/28954
Record Status Checked
Record Id 28954
Title Formal verification in the design of gestural interaction
Organisation CCLRC , BITD
Funding Information
Related Research Object(s):
Licence Information:
Language English (EN)
Type Details URI(s) Local file(s) Year
Journal Article Electronic Notes in Theoretical Computer Science 43 (2001): 75-96. doi:10.1016/S1571-0661(04)80895-8 2001