Mostrando 1 - 2 resultados de 2 para a busca 'Baier, Christel', tempo de busca: 0.01s Refinar Resultados
  1. 1

    Principles of model checking por Baier, Christel

    Publicado em 2008
    Table of contents only
    Livro

    Principles of model checking
  2. 2

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

    Artigo

    Denotational linear time semantics and sequential composition.

Ferramentas de busca: