학술논문
Model Checking Futexes
Document Type
Conference Paper
Author
Source
In: Model Checking Software - 29th International Symposium, SPIN 2023, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 13872 LNCS:41-58)
Subject
Language
English
ISSN
16113349
03029743
03029743