Items where authors include "Lin, T. -M."
Jump to: Article
Number of items: 1.
Article
Burns, A. and Lin, T. -M. (2006) An engineering process for the verification of real-time systems. Formal Aspects of Computing, 19 (1). pp. 111-136. ISSN 0934-5043