Søgeresultater - Baier, Christel

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

    Principles of model checking af Baier, Christel

    Udgivet 2008
    Table of contents only
    Bog


    Omslagsbillede
  2. 2

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

    Article


    Omslagsbillede

Søgeredskaber: