Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

Formal Techniques for Distributed Systems / Dirk Beyer;Michele Boreale. - STAMPA. - (2013), pp. 6-6. [10.1007/978-3-642-38592-6]

Formal Techniques for Distributed Systems

BOREALE, MICHELE
2013

Abstract

Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
2013
Springer
AA.VV.
Lecture Notes in Computer ScienceFormal Techniques for Distributed Systems
Dirk Beyer;Michele Boreale
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/823308
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact