TITLE     : Formal verification in the design of gestural interaction
AUTHOR(S) : Doherty G, Faconti G, Massink M
TYPE      : Journal article
YEAR      : 2001
CODE      : 68381

*** DO NOT EDIT THIS FILE ***