Toward verified biological models.
| Autor principal: | |
|---|---|
| Otros Autores: | , , , , , |
| Formato: | Artículo |
| Lenguaje: | Spanish |
| Materias: |
| LEADER | 00891nab a2200301 a 4500 | ||
|---|---|---|---|
| 001 | 000097199 | ||
| 005 | 20160331145903.0 | ||
| 008 | 081117s mx 000 0 spa d | ||
| 040 | |a Sistema de Bibliotecas del Tecnológico de Costa Rica | ||
| 100 | 1 | |a Sadot, Avital | |
| 245 | 1 | 0 | |a Toward verified biological models. |
| 535 | 1 | |a Sala de Colecciones abiertas | |
| 546 | |a Inglés | ||
| 590 | |a Biol | ||
| 590 | |a Tecn | ||
| 590 | |a R13034 | ||
| 650 | 1 | 4 | |a Modelado |
| 650 | 1 | 4 | |a Verificación |
| 650 | 1 | 4 | |a Diversidad biológica |
| 655 | 4 | |a Artículos de revista | |
| 700 | 1 | |a Admanit, Yishai | |
| 700 | 1 | |a Barak, Dan | |
| 700 | 1 | |a Fisher, Jasmin | |
| 700 | 1 | |a Harel, David | |
| 700 | 1 | |a Hubbard, E. Jane Albert | |
| 700 | 1 | |a Stern, Michael J. | |
| 773 | 1 | |t IEEE TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIO. |g Volumen 5, número 2 (April/June, 2008), páginas 223-234 | |
| 905 | |a BJFF_ANA | ||