Logic-based Verification of the Distributed Dining Philosophers Protocol
Delzanno, Giorgio, Fiorentini, Camillo, Momigliano, Alberto, Pettorossi, AlbertoVolume:
161
Language:
english
Journal:
Fundamenta Informaticae
DOI:
10.3233/FI-2018-1697
Date:
July, 2018
File:
PDF, 221 KB
english, 2018