AUTHOREA
Log in
Sign Up
Browse Preprints
LOG IN
SIGN UP
loading page
this is for holding javascript data
Download PDF
DOWNLOAD
Download ZIP
Download LaTeX
Download JATS XML
Track citations
Fork (make a copy)
113
29
Modeling and Verification of Multi-Agent Cyber-Physical Systems in Verse Library: A Case Study
Sarthak Das
Sarthak Das
Corresponding Author:
[email protected]
Author Profile
×
OK
