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.