Toward Verified Biological Models

Avital Sadot, Jasmin Fisher, Dan Barak, Yishai Admanit, Michael J. Stern, E. Jane Albert Hubbard, David Harel. Toward Verified Biological Models. IEEE/ACM Trans. Comput. Biology Bioinform., 5(2):223-234, 2008. [doi]

Authors

Avital Sadot

This author has not been identified. Look up 'Avital Sadot' in Google

Jasmin Fisher

This author has not been identified. Look up 'Jasmin Fisher' in Google

Dan Barak

This author has not been identified. Look up 'Dan Barak' in Google

Yishai Admanit

This author has not been identified. Look up 'Yishai Admanit' in Google

Michael J. Stern

This author has not been identified. Look up 'Michael J. Stern' in Google

E. Jane Albert Hubbard

This author has not been identified. Look up 'E. Jane Albert Hubbard' in Google

David Harel

Identified as David Harel