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

Concepedia

Publication | Closed Access

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

146

Citations

8

References

1997

Year

Doron Peled, Thomas Wilke

Information Processing Letters

Stutter-invariant Temporal PropertiesLinear OperatorTimed System

References

	Year	Citations

Page 1