Automatic Verification of Bounded Synchronization for Heterogeneous Polynomial Networked Systems
Year: 2024
Type: article
Authors: Shuyuan Zhang, Lei Wang, Bai Xue, Qing-Guo Wang
Language: English
Subfield: Computer Networks and Communications
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
Award: G5797492871
OpenAlex ID: W4403635720
