Bowman, H. and Cameron, H. and King, P. and Thompson, S.J.
(2003)
Mexitl: Multimedia in Executable Interval Temporal Logic.
Formal Methods in System Design, 22
(1).
pp. 5-38.
ISSN 0925-9856 .
The full text of this publication is not available from this repository.
This list was generated on Sun May 19 02:53:07 2013 BST.
