Mostrando 1 - 2 Resultados de 2 Para Buscar '"Boolean satisfiability problems"' Saltar al contenido
BDU3
  • Inicio
  • Su cuenta
  • Salir
  • Entrar
Avanzado
  • Resultados de búsqueda - "Boolean satisfiability problems"
Materias dentro de su búsqueda. Materias dentro de su búsqueda.
Alloy Analyzer 2 Alloy analyzers 2 Alloys 2 Analysis problems 2 Boolean satisfiability problems 2 Bounded verification 2 Bounded verifications 2 Decision making 2 Novel techniques 2 Parallel SAT-solving 2 Parallel analysis 2 Parallelizations 2 SAT-solving 2 Specification languages 2 Verification 2
Mostrando 1 - 2 Resultados de 2 Para Buscar '"Boolean satisfiability problems"', tiempo de consulta: 0.57s Limitar resultados
  1. 1
    Parallel bounded verification of alloy models by tranScoping
    por Rosner, Nicolás, Frias, Marcelo
    Publicado 2014
    Materias: “...Boolean satisfiability problems...”
    Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
    Enlace del recurso
    Enlace del recurso
    Agregar a favoritos
    Guardado en:
  2. 2
    Parallel bounded verification of alloy models by tranScoping
    por Rosner, N., Pombo, C.G.L., Aguirre, N., Jaoua, A., Mili, A., Frias, M.F., Rybalchenko A., Rybalchenko A., Cohen E.
    Materias: “...Boolean satisfiability problems...”
    Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
    Enlace del recurso
    SER
    Agregar a favoritos
    Guardado en:
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda — Guardar Búsqueda

Refine su búsqueda

Universidad de Buenos Aires 2
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) 2
SER 1
Aguirre, N. 1 Cohen E. 1 Frias, M.F. 1 Frias, Marcelo 1 Jaoua, A. 1 Mili, A. 1 Pombo, C.G.L. 1 Rosner, N. 1 Rosner, Nicolás 1 Rybalchenko A. 1 ver todos ...

Opciones de búsqueda

  • Historial de Búsqueda
  • Búsqueda Avanzada

Buscar Más

  • Revisar el Catálogo
  • Explorar canales
  • Tour (beta)

¿Necesita Ayuda?

  • Consejos de búsqueda
  • Preguntas Frecuentes
  • Contacte al adminstrador
Cargando...