Data di Pubblicazione:
2011
Tipologia CRIS:
04A-Conference paper in volume
Elenco autori:
Giuseppe, Castagna; Dezani, Mariangiola; Padovani, Luca
Link alla scheda completa:
Link al Full Text:
Titolo del libro:
Formal Techniques for Distributed Systems
Pubblicato in: