Näytetään 1 - 2 yhteensä 2 tuloksesta haulle 'Baier, Christel', hakuaika: 0,01s Tarkenna hakua
  1. 1

    Principles of model checking Tekijä Baier, Christel

    Julkaistu 2008
    Table of contents only
    Kirja

    Principles of model checking
  2. 2

    Denotational linear time semantics and sequential composition. Tekijä Baier, Christel

    Artikkeli

    Denotational linear time semantics and sequential composition.

Työkalut: