Model Checking Mutual Exclusion Algorithms Using UPPAAL
Franco CicirelliMembro del Collaboration Group
;Libero Nigro
Membro del Collaboration Group
;Paolo F. SciammarellaMembro del Collaboration Group
2016-01-01
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.