Kết quả tìm kiếm - Lang, Frédéric

  • Đang hiển thị 1 - 2 kết quả của 2
Tinh chỉnh kết quả
  1. 1
    Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities

    Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities Bằng Lang, Frédéric, Mateescu, Radu, Mazzanti, Franco

    Được phát hành 2020
    lấy văn bản lấy văn bản
    Text
    Lưu vào danh sách
    Đã lưu trong:
  2. 2
    Combining SLiVER with CADP to Analyze Multi-agent Systems

    Combining SLiVER with CADP to Analyze Multi-agent Systems Bằng Di Stefano, Luca, Lang, Frédéric, Serwe, Wendelin

    Được phát hành 2020
    lấy văn bản lấy văn bản
    Text
    Lưu vào danh sách
    Đã lưu trong:

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