Items where Author is "Jones, Trevor"

Blair, Lynne and Jones, Trevor and Blair, Gordon (2000) Stochastically enhanced timed automata. In: Formal Methods for Open Object-Based Distributed Systems IV - TC6/WG6.1, Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2000 :. IFIP Advances in Information and Communication Technology . UNSPECIFIED, USA, pp. 327-347. ISBN 9781475710182

Blair, Lynne and Jones, Trevor and Blair, Gordon (1999) A tool suite for multi-paradigm specification. In: Fundamental Approaches to Software Engineering - 2nd Intrnational Conference, FASE 1999 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 1999, Proceedings :. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer-Verlag, NLD, pp. 234-238. ISBN 3540657185