Search Results - Baier, Christel

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

    Principles of model checking by Baier, Christel

    Published 2008
    Table of contents only
    Book


    Cover Image
  2. 2

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

    Article


    Cover Image

Search Tools: