Title of article

An axiomatization of PCTL*

Author/Authors

Mark Reynolds، نويسنده ,

Issue Information

روزنامه با شماره پیاپی سال 2005

Pages

48

From page

72

To page

119

Keywords

Axiomatization , branching time , Temporal logic

Journal title

Information and Computation

Serial Year

2005

Journal title

Information and Computation

Record number

262303