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, |
