مرکز منطقه ای اطلاع رساني علوم و فناوري - Stutter-invariant temporal properties are expressible without the next-time operator

Title of article :

Stutter-invariant temporal properties are expressible without the next-time operator

Author/Authors :

Doron Peled، نويسنده , , Thomas Wilke، نويسنده ,

Issue Information :

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

Pages :

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 :