Výsledky vyhledávání - Lang, Frédéric

  • Zobrazuji výsledky 1 - 2 z 2
Upřesnit hledání
  1. 1
    Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities

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

    Vydáno 2020
    Získat plný text Získat plný text
    Text
    Přidat do oblíbených
    Uloženo v:
  2. 2
    Combining SLiVER with CADP to Analyze Multi-agent Systems

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

    Vydáno 2020
    Získat plný text Získat plný text
    Text
    Přidat do oblíbených
    Uloženo v:

Vyhledávací nástroje: