Búsqueda avanzada
Añadir filtros:
Usa los filtros para afinar la búsqueda.
Resultados de la búsqueda 1-2 de 2.
- Anterior
- 1
- Siguiente
Seleccionar recurso:
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 |
Recursos por:
Temas más frecuentes
Idioma
- 2 eng