Search Results - 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 by Lang, Frédéric, Mateescu, Radu, Mazzanti, Franco

    Published 2020
    Get full text Get full text
    Text
    Save to List
    Saved in:
  2. 2
    Combining SLiVER with CADP to Analyze Multi-agent Systems

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

    Published 2020
    Get full text Get full text
    Text
    Save to List
    Saved in:

Search Tools: