Search Results - Massimo Merro

  • Showing 1 - 2 results of 2
Refine Results
  1. 1

    Equational Reasonings in Wireless Network Gossip Protocols by Ruggero Lanotte, Massimo Merro, Simone Tini

    Published in Logical Methods in Computer Science (2018-09-01)
    Get full text
    Article


  2. 2

    Modelling MAC-Layer Communications in Wireless Systems by Andrea Cerone, Matthew Hennessy, Massimo Merro

    Published in Logical Methods in Computer Science (2015-03-01)
    Get full text
    Article


Search Tools: