AUTHOREA
Log in
Sign Up
Browse Preprints
LOG IN
SIGN UP
Please note
: Importing new articles from Word documents is currently unavailable. We are working on fixing this issue soon and apologize for any inconvenience.
Rajdeep Niyogi
Public Documents
1
March 14, 2023
Formal specification and verification of a team formation protocol using TLA
Rajdeep Niyogi and Amar Nath