Showing 1 - 2 results of 2 for search 'Libero Nigro', query time: 0.01s Refine Results
  1. 1
    Proving Properties of Dekker’s Algorithm for Mutual Exclusion of N Processes

    Proving Properties of Dekker’s Algorithm for Mutual Exclusion of N Processes by Libero Nigro, Franco Cicirelli

    Published 2025-04-01
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Qualitative and Quantitative Evaluation of Stochastic Time Petri Nets

    Qualitative and Quantitative Evaluation of Stochastic Time Petri Nets by Franco Cicirelli, Christian Nigro, Libero Nigro

    Published 2015-10-01
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: