Items where Author is "Derrick, John"

Bryans, Jeremy and Blair, Lynne and Bowman, Howard and Derrick, John (2000) Specification and analysis of automata-based designs. In: Integrated Formal Methods - Second International Conference, IFM 2000, Proceedings :. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer, DEU, pp. 176-193. ISBN 3540411968