Publication: IEICE TRANSACTIONS on Information and Systems
Publication Date: 1993/12/25
Vol. E76-D
No. 12
pp. 1479-1489
Type of Manuscript:
PAPER Category: Automaton, Language and Theory of Computing Keyword: natural language specification, algebraic specification, communication protocol, translation, |