Resultats de la cerca - Baier, Christel

  • Mostrar 1 - 2 resultats de 2
Refinar resultats
  1. 1

    Principles of model checking per Baier, Christel

    Publicat 2008
    Table of contents only
    Llibre


    Imatge de la portada
  2. 2

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

    Article


    Imatge de la portada

Eines de cerca: