학술논문

Asynchronous Muddy Children Puzzle (work in progress)
Document Type
Conference Paper
Source
In: Electronic Proceedings in Theoretical Computer Science, EPTCS, Proceedings - 7th Symposium on Working Formal Methods, FROM 2023. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 22 September 2023, 389:152-166)
Subject
Language
English
ISSN
20752180