Yishai A. Feldman
Yishai A. Feldman.
A decidable propositional dynamic logic with explicit probabilities.
Information and Control
, 63(1/2):11-38, October/November 1984.
Citations.
Shortcuts:
Information and Computation homepage
Bibliography top level
Information and Computation Author Index
Search the HBP database