Buscar por Autor Carrillo, Miguel
Mostrando resultados 1 a 2 de 2
Vista previa | Título | Autor | Fecha de publicación |
---|---|---|---|
CTL update of Kripke models through protections | Carrillo, Miguel | 2-mar-2014 | |
Griffin: A Tool for Symbolic Inference of Synchronous Boolean Molecular Networks | Muñoz, Stalin | 6-mar-2018 |