Title: Toward verified biological models.
Authors: Sadot A, Fisher J, Barak D, Admanit Y, Stern MJ, Hubbard EJ, Harel D
Journal: IEEE/ACM Trans Comput Biol Bioinform
Published: 2008-04
Volume: 5
Pages: 223-34