| Authors: | Ognjanović, Zoran Rašković, Miodrag |
Affiliations: | Mathematical Institute of the Serbian Academy of Sciences and Arts | Title: | The completeness theorem for a temporal logic with probabilistic operators | First page: | 177 | Last page: | 181 | Conference: | VIII International Conference on Logic and Computer Science LIRA '97, 1997. | Editors: | Tošić, R. Budimac, Z. |
Issue Date: | 1997 | Rank: | M63 |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.