Andrea Augello, Salvatore Gaglio, Giuseppe Lo Re, Daniele Peri. Modeling and Verification of Symbolic Distributed Applications Through an Intelligent Monitoring Agent. IEEE Access, 10:94443-94457, 2022. [doi]
No references recorded for this publication.
No citations of this publication recorded.