Showing 1 - 2 results of 2 for search 'Baier, Christel', זמן שאילתה: 0.01s Refine Results
  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.
    Article

    Denotational linear time semantics and sequential composition.

כלי חיפוש: