Zoran Ognjanovic. Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity. Journal of Logic and Computation, 16(2):257-285, 2006. [doi]
No references recorded for this publication.
No citations of this publication recorded.