机构作者
Knezevic, Milica
文献数量：2
Marinkovic, Bojan
文献数量：1
Mihaljevic, Miodrag J.
文献数量：3
Ognjanovic, Zoran
文献数量：2
Stepic, Angelina Ilic
文献数量：1
Todorovic, Milan
文献数量：2
Urosevic, Dragan
文献数量：1
机构文献
A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol[J]
JOURNAL OF LOGIC AND COMPUTATION