Résultat(s) 1 - 3 résultats de 3 pour la requête 'Bjørner, N', Temps de recherche: 0,02s Affiner les résultats
  1. 1
    Proving safety with trace automata and bounded model checking

    Proving safety with trace automata and bounded model checking par Kroening, D, Lewis, M, Weissenbacher, G

    Publié 2015
    Autres auteurs: “…Bjørner, N…”
    Conference item
  2. 2
    Property-driven fence insertion using reorder bounded model checking

    Property-driven fence insertion using reorder bounded model checking par Joshi, S, Kroening, D

    Publié 2015
    Autres auteurs: “…Bjørner, N…”
    Conference item
  3. 3
    Parameterized Complexity and Fixed-Parameter Tractability of Description Logic Reasoning.

    Parameterized Complexity and Fixed-Parameter Tractability of Description Logic Reasoning. par Motik, B

    Publié 2012
    Autres auteurs: “…Bjørner, N…”
    Journal article

Outils de recherche: