Хайлтын үр дүнгүүд - Lang, Frédéric

  • 2-н 1 - 2 үр дүнгүүдийг харуулж байна
Үр дүнг сайжруулах
  1. 1
    Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities

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

    Хэвлэсэн 2020
    Бүрэн текст авах Бүрэн текст авах
    текст
    Жагсаалт руу хадгалах
    -д хадгалсан:
  2. 2
    Combining SLiVER with CADP to Analyze Multi-agent Systems

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

    Хэвлэсэн 2020
    Бүрэн текст авах Бүрэн текст авах
    текст
    Жагсаалт руу хадгалах
    -д хадгалсан:

Хайх хэрэгслүүд: