Title	Constructing the Reaching Region Graph for Timed Automata with PVS
Author	Huaikou Miao, Qingguo Xu
Citation	Vol. 6  No. 7  pp. 175-181
Keywords	Timed Automata, Clock region, Region equivalence, Reachability analysis, PVS

Title	Characterization of Fuzzy Regular Languages
Author	V. Ramaswamy, Girijamma. H. A.
Citation	Vol. 8  No. 12  pp. 306-308
Keywords	Monoid, Non deterministic automaton, equivalence class, fuzzy regular language, fuzzy automaton

Title	Minimization of L-valued Finite Sequential Machine
Author	Chang Shu, Zhi-Wen Mo
Citation	Vol. 12  No. 9  pp. 63-69
Keywords	Fuzzy finite sequential machine, Lattice-ordered monoid, Equivalence, Minimization.