Résultat(s) 1 - 2 résultats de 2 pour la requête 'Baier, Christel', Temps de recherche: 0,01s Affiner les résultats
  1. 1

    Principles of model checking par Baier, Christel

    Publié 2008
    Table of contents only
    Livre

    Principles of model checking
  2. 2

    Denotational linear time semantics and sequential composition. par Baier, Christel

    Article

    Denotational linear time semantics and sequential composition.

Outils de recherche: