What are you looking for today?

Bugliesi, Michele and Modesti, Paolo (2010) Design and Analysis of Distributed Protocols with AnBx. Technical Report. DSI, Università Ca' Foscari Venezia.

Full text not available from this repository. (Request a copy)

Abstract

Item Type: Reports, briefing/ working papers (Technical Report)
Related URLs:
Depositing User: Paolo Modesti
URI: https://sure.sunderland.ac.uk/id/eprint/6216

Further Details

More Information

Related URLs
Depositing User

Identifiers

Item ID
6216
Identification Number
CS-2010-04

Users with ORCIDS

Catalogue record

Date Deposited
09 May 2016 14:09
Last Modified
04 Jun 2025 15:03

Contributors

Author
Michele Bugliesi
Author
Paolo Modesti

University Divisions

Subjects

Actions (login required)

View Item (Repository Staff Only)