Title of article
Stutter-invariant temporal properties are expressible without the next-time operator
Author/Authors
Doron Peled، نويسنده , , Thomas Wilke، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 1997
Pages
4
From page
243
To page
246
Keywords
Temporal Logic , Stutter invariance , Specification languages , Next operator
Journal title
Information Processing Letters
Serial Year
1997
Journal title
Information Processing Letters
Record number
128747
Link To Document