Treffer 1 - 2 von 2 für Suche 'Baier, Christel', Suchdauer: 0,01s Treffer weiter einschränken
  1. 1

    Principles of model checking von Baier, Christel

    Veröffentlicht 2008
    Table of contents only
    Buch

    Principles of model checking
  2. 2

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

    Veröffentlicht in Information processing letters.
    Artikel

    Denotational linear time semantics and sequential composition.

Suchwerkzeuge: