Mostrar 1 - 2 resultats de 2 per cerca 'Baier, Christel', hora de la petició: 0.01sec Refinar resultats
  1. 1

    Principles of model checking per Baier, Christel

    Publicat 2008
    Table of contents only
    Llibre

    Principles of model checking
  2. 2

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

    Article

    Denotational linear time semantics and sequential composition.

Eines de cerca: