학술논문
Parameterized Safety Verification of Round-Based Shared-Memory Systems
Document Type
Conference Paper
Author
Source
In: Leibniz International Proceedings in Informatics, LIPIcs , 49th EATCS International Conference on Automata, Languages, and Programming, ICALP 2022. (Leibniz International Proceedings in Informatics, LIPIcs, 1 July 2022, 229)
Subject
Language
English
ISSN
18688969