Rezultati - Baier, Christel

  • Showing 1 - 2 results of 2
Refine Results
  1. 1

    Principles of model checking od Baier, Christel

    Izdano 2008
    Table of contents only
    Knjiga


    Slika na naslovnici
  2. 2

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

    Article


    Slika na naslovnici

Iskalna orodja: