Rezultati - Lang, Frédéric

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities

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

    Izdano 2020
    Polni tekst Polni tekst
    Text
    Dodaj v priljubljene
    Shranjeno v:
  2. 2
    Combining SLiVER with CADP to Analyze Multi-agent Systems

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

    Izdano 2020
    Polni tekst Polni tekst
    Text
    Dodaj v priljubljene
    Shranjeno v:

Iskalna orodja: