Warren Hedley

Publication Activity (10 Years)

Years Active: 2015-2015
Publications (10 Years): 1

Top Topics

Formal Verification

Evolutionary Algorithm

Top Venues

J. Integr. Bioinform.

Publications

Autumn A. Cuellar, Warren Hedley, Melanie Nelson, Catherine M. Lloyd, Matt D. B. Halstead, David P. Bullivant, David P. Nickerson, Peter J. Hunter, Poul M. F. Nielsen
The CellML 1.1 Specification. J. Integr. Bioinform. 12 (2) (2015)