A mostrar 1 - 2 resultados de 2 para a pesquisa 'Baier, Christel', tempo de pesquisa: 0.01seg 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 pesquisa: