Title of article :
A note on a question of Peled and Wilke regarding stutter-invariant LTL
Author/Authors :
Kousha Etessami، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 2000
Keywords :
Stutter-invariance , Next operator , Specification languages , Efficient translation , Temporal logic
Journal title :
Information Processing Letters
Journal title :
Information Processing Letters
