Resultats de la cerca - Lang, Frédéric

  • Mostrar 1 - 2 resultats de 2
Refinar resultats
  1. 1
    Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities

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

    Publicat 2020
    Obtenir text complet Obtenir text complet
    Text
    Afegir a favorits
    Guardat en:
  2. 2
    Combining SLiVER with CADP to Analyze Multi-agent Systems

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

    Publicat 2020
    Obtenir text complet Obtenir text complet
    Text
    Afegir a favorits
    Guardat en:

Eines de cerca: