AUTHOREA
Log in Sign Up Browse Preprints

March 14, 2023
Formal specification and verification of a team formation protocol using TLA
Rajdeep Niyogi and Amar Nath