AUTHOREA
Log in
Sign Up
Browse Preprints
LOG IN
SIGN UP
Amar Nath
Assistant Professor
Punjab India
Public Documents
1
March 14, 2023
Formal specification and verification of a team formation protocol using TLA
Rajdeep Niyogi and Amar Nath