खोज परिणाम - Baier, Christel

  • प्रदर्शित 1 - 2 परिणाम 2
परिणाम को परिष्कृत करें
  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.
    लेख