תוצאות חיפוש - Baier, Christel

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

    Principles of model checking מאת Baier, Christel

    יצא לאור 2008
    Table of contents only
    ספר


    תמונות העטיפה
  2. 2

    Denotational linear time semantics and sequential composition. מאת Baier, Christel

    הוצא לאור ב Information processing letters.
    Article


    תמונות העטיפה

כלי חיפוש: