A concurrent dynamic logic of knowledge,
✍
Lijun Wu; Jinshu Su; Kaile Su; Xiangyu Luo; Zhihua Yang
📂
Article
📅
2010
🏛
Elsevier Science
🌐
English
⚖ 257 KB