Mostrando 1 - 4 Resultados de 4 Para Buscar 'Wijs, Anton', tiempo de consulta: 1.06s Limitar resultados
  1. 1
    por Bošnački, Dragan, Wijs, Anton
    Publicado 2018
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Model checking: recent improvements and applications
  2. 2
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    SAT Solving with GPU Accelerated Inprocessing
  3. 3
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Efficient reconstruction of biological networks via transitive reduction on general purpose graphics processors
  4. 4
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    An O(m log n) algorithm for branching bisimilarity on labelled transition systems
Herramientas de búsqueda: RSS