학술논문
Symbolic model checking of public announcement protocols
Document Type
Article
Author
Source
In: Journal of Logic and Computation . (Journal of Logic and Computation, 31 December 2019, 29(8):1211-1249)
Subject
Language
English
ISSN
1465363X
0955792X
0955792X