TitleThe Logic of Distributed Protocols
Publication TypeConference Paper
Year of Publication1986
AuthorsLadner RE, Reif J
Conference NameTheoretical Aspects of Reasoning about Knowledge 1986 Conference
Pagination207-222
Citation Key1843