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
Official URL: http://www.unive.it/media/allegato/DIP/SAmbInfStat...
| 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)
Altmetric

Altmetric
Altmetric