Search for persons
X
?
Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing ,
6
Brief Announcement: Distributed Model Checking on Graphs of..:
, In:
?
Graph-Theoretic Concepts in Computer Science; Lecture Notes in Computer Science ,
15