TITLE     : Engineering human flows in smart environments using formal techniques - Full version
AUTHOR(S) : Harrison M, Massink M, Latella D
TYPE      : Other
YEAR      : 2009
CODE      : 161085

*** DO NOT EDIT THIS FILE ***