Technical Reports
The report FIMU-RS-2004-10
Characteristic Patterns for LTL
by Antonín Kučera, Jan Strejček, A full version of the paper presented at Sofsem 2005. December 2004, 22 pages.
FIMU-RS-2004-10. Available as Postscript, PDF.
Abstract:
We give a new characterization of those languages that are definable
Responsible contact:
vedaXDjbU2LSW@fiQ1T5fpnNE.muni8CVI=SRv5.cz
Please install a newer browser for this site to function properly.