Pages that link to "Item:Q861699"
From MaRDI portal
The following pages link to Formal analysis of multiparty contract signing (Q861699):
Displaying 6 items.
- Doomsday equilibria for omega-regular games (Q528193) (← links)
- A game-theoretic framework for specification and verification of cryptographic protocols (Q607405) (← links)
- Assume-guarantee synthesis for digital contract signing (Q736809) (← links)
- Deductive verification of alternating systems (Q939163) (← links)
- Multiparty Contract Signing Over a Reliable Network (Q2804932) (← links)
- Mechanical proofs about BW multi-party contract signing protocol (Q3443205) (← links)
