|
Japanese / English
|
|
||
| Top & Workshop Schedule / Topics / Award / Submission / Photo / Committee / DB / Links | ||
DB info
Shiratori Norio and Lee Eun-Seok,
"A Model Based Specification Environment for LOTOS,"
IEICE Tech. Rep., CS91-32, pp. 23-28, July 1991.
Report Number: CS91-32, SAT91-23, SSE91-28, IN91-28
pLaTeX format
The abbreviation of author's names was made automatically. Please confirm them before you cut and paste.
\bibitem{cs91-32}
Shiratori~Norio and Lee~Eun-Seok,
``A Model Based Specification Environment for LOTOS,''
{\em IEICE Tech. Rep.}, CS91-32, pp.~23-28, July 1991.
Detailed information on the IEICE database
| Top & Workshop Schedule / Topics / Award / Submission / Photo / Committee / DB / Links |
Please contact to one of web administrators, if you have any comments.
