Design and Analysis of Distributed Protocols with AnBx

Michele Bugliesi, Paolo Modesti

Technical Report DSI CS-2010-04, Università Ca' Foscari Venezia, 2010

← Back to all publications