Scalable techniques for formal verification

Por Ray, Sandip.
Publicado em 2010

Global analysis of ligand sensitivity of estrogen inducible and suppressible genes in MCF7/BUS breast cancer cells by DNA microarray

Por Coser, Kathryn R., Chesnes, Jessica, Hur, Jingyung, Ray, Sandip, Isselbacher, Kurt J., Shioda, Toshi
Publicado em 2003