Showing 1 - 3 results of 3 for search 'Aniello Murano', query time: 0.02s Refine Results
  1. 1
    Enriched MU-Calculi Module Checking

    Enriched MU-Calculi Module Checking by Alessandro Ferrante, Aniello Murano, Mimmo Parente

    Published 2008-07-01
    Get full text
    Article
  2. 2
    Reasoning about Strategies: on the Satisfiability Problem

    Reasoning about Strategies: on the Satisfiability Problem by Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi

    Published 2017-03-01
    Get full text
    Article
  3. 3
    The Complexity of Enriched Mu-Calculi

    The Complexity of Enriched Mu-Calculi by Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi

    Published 2008-09-01
    Get full text
    Article

Search Tools: