Bozhenkova, E. N. Towards decidability of timed testing. (English) Zbl 1004.68092 Jt. Bull. NCC IIS, Ser. Comput. Sci. 15, 17-29 (2001). Summary: A formula is constructed that characterizes a timed event structure up to the timed must-preorder. Cited in 1 Document MSC: 68Q55 Semantics in the theory of computing Keywords:timed event structures; timed modal logic; constructing a characteristic formula; testing equivalence PDFBibTeX XMLCite \textit{E. N. Bozhenkova}, Jt. Bull. NCC IIS, Ser. Comput. Sci. 15, 17--29 (2001; Zbl 1004.68092)