Title of article

Universal extensions to simulate specifications

Author/Authors

Wim H. Hesselink، نويسنده ,

Issue Information

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

Pages

21

From page

108

To page

128

Keywords

Theorem proving , Auxiliary variable , simulation , Stuttering , Semantic completeness , TLA

Journal title

Information and Computation

Serial Year

2008

Journal title

Information and Computation

Record number

262454