Technical Reports
The report FIMU-RS-2002-03
The Stuttering Principle Revisited: On the Expressiveness of Nested X and U Operators in the Logic LTL
by Antonín Kučera, Jan Strejček, A full version of the paper presented at CSL`02. July 2002, 24 pages.
FIMU-RS-2002-03. Available as Postscript, PDF.
Abstract:
It is known that LTL formulae without the `next` operator
Responsible contact:
vedaXDjbU2LSW@fiQ1T5fpnNE.muni8CVI=SRv5.cz
Please install a newer browser for this site to function properly.