Engineering the usability of visual formalisms: a case study in real time logics.

M. Lusini, Enrico Vicario

Browse the full AVI paper archive.