A Logic for Reasoning about Time and Reliability

[HJ94] H. Hansson and B. Jonsson. A Logic for Reasoning about Time and Reliability. Formal Aspects of Computing, 6(5), pages 512--535. 1994. [bib]

Downloads: $bib$ bib

Links: [Google] [Google Scholar]