Resultados de búsqueda - Baier, Christel

  • Mostrando 1 - 2 Resultados de 2
Limitar resultados
  1. 1

    Principles of model checking por Baier, Christel

    Publicado 2008
    Table of contents only
    Libro


    Imagen de Portada
  2. 2

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

    Artículo


    Imagen de Portada

Herramientas de búsqueda: