Automated type-based analysis of injective agreement in the presence of compromised principals

From MaRDI portal
(Redirected from Publication:492914)