Authors: | Ognjanović, Zoran | Affiliations: | Mathematical Institute of the Serbian Academy of Sciences and Arts | Title: | A logic for temporal and probabilistic reasoning | First page: | 1 | Last page: | 10 | Conference: | Workshop on Probabilistic Logic and Randomised Computation, ESSLLI '98, Saarbruecken, Germany | Issue Date: | 1998 | Rank: | M33 |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.