Browsing by Author Studer, Thomas
Showing results 11 to 11 of 11
< previous
| Author(s) | Title | Issue Date | Appears in | Rank |
|---|---|---|---|---|
| Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran ; Studer, Thomas | A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol | 1-Sep-2019 | Journal of Logic and Computation; 29(5); 803-830 | M21 |