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]
@article{SadotFBASHH08,
title = {Toward Verified Biological Models},
author = {Avital Sadot and Jasmin Fisher and Dan Barak and Yishai Admanit and Michael J. Stern and E. Jane Albert Hubbard and David Harel},
year = {2008},
doi = {10.1145/1371585.1371591},
url = {http://doi.acm.org/10.1145/1371585.1371591},
tags = {meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/SadotFBASHH08},
cites = {0},
citedby = {0},
journal = {IEEE/ACM Trans. Comput. Biology Bioinform.},
volume = {5},
number = {2},
pages = {223-234},
}