Dangos 1 - 2 canlyniadau o 2 ar gyfer chwilio 'Baier, Christel', amser ymholiad: 0.01e Mireinio'r Canlyniadau
  1. 1

    Principles of model checking gan Baier, Christel

    Cyhoeddwyd 2008
    Table of contents only
    Llyfr

    Principles of model checking
  2. 2

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

    Erthygl

    Denotational linear time semantics and sequential composition.

Offerynnau Chwilio: