학술논문
Behavioral equivalences for AbU: Verifying security and safety in distributed IoT systems
Document Type
Article
Author
Source
In: Theoretical Computer Science . (Theoretical Computer Science, 1 June 2024, 998)
Subject
Language
English
ISSN
03043975