ℹ️
🇨🇿
Hledání
Hledat publikace relevantní k dotazu "exploring thread interleavings"
exploring thread interleavings
Publikace
Předměty
Osoby
Publikace
Studium
Exportovat aktuální pohled
publication
Checking Just Pairs of Threads for Efficient and Scalable Incremental Verification of Multithreaded Programs
2023 |
Matematicko-fyzikální fakulta
