Title of article

A note on a question of Peled and Wilke regarding stutter-invariant LTL

Author/Authors

Kousha Etessami، نويسنده ,

Issue Information

دوهفته نامه با شماره پیاپی سال 2000

Pages

3

From page

261

To page

263

Keywords

Stutter-invariance , Next operator , Specification languages , Efficient translation , Temporal logic

Journal title

Information Processing Letters

Serial Year

2000

Journal title

Information Processing Letters

Record number

129277