Отображение 1 - 2 результаты of 2 для поиска 'Baier, Christel', время запроса: 0.01сек. Отмена результатов
  1. 1

    Principles of model checking по Baier, Christel

    Опубликовано 2008
    Table of contents only
    ‌

    Principles of model checking
  2. 2

    Denotational linear time semantics and sequential composition. по Baier, Christel

    Опубликовано в: Information processing letters.
    Статья

    Denotational linear time semantics and sequential composition.

Инструменты поиска: