Đang hiển thị 1 - 2 kết quả của 2 cho tìm kiếm 'Baier, Christel', thời gian truy vấn: 0.01s Tinh chỉnh kết quả
  1. 1

    Principles of model checking Bằng Baier, Christel

    Được phát hành 2008
    Table of contents only
    Sách

    Principles of model checking
  2. 2

    Denotational linear time semantics and sequential composition. Bằng Baier, Christel

    Bài viết

    Denotational linear time semantics and sequential composition.

Công cụ tìm kiếm: