A Hybrid Public Announcement Logic with Distributed Knowledge

Research output: Contribution to journalJournal articleResearchpeer-review

Original languageEnglish
JournalElectronic Notes in Theoretical Computer Science
Volume273
Pages (from-to)33-50
ISSN1571-0661
DOIs
Publication statusPublished - 8 Jul 2011

Cite this