Erakusten 1 - 2 emaitzak -- 2 bilaketa honetara 'Baier, Christel', Bilaketaren denbora: 0,01s Findu emaitzak
  1. 1

    Principles of model checking nork Baier, Christel

    Argitaratua 2008
    Table of contents only
    Liburua

    Principles of model checking
  2. 2

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

    Argitaratua izan da Information processing letters.
    Artikulua

    Denotational linear time semantics and sequential composition.

Bilaketa egiteko lanabesak: