|
Japanese / English
|
|
||
| Top & Workshop Schedule / Topics / Award / Submission / Photo / Committee / DB / Links | ||
DB info
Shiratori Norio, Kimura Shigetomo and Dark Byung-Ho,
"An Algorithm to Verify Equivalence and to Detect Errors for Recursive Processes,"
IEICE Tech. Rep., CS97-75, pp. 51-56, Sep. 1997.
Report Number: CS97-75, SSE97-84, IN97-77
pLaTeX format
The abbreviation of author's names was made automatically. Please confirm them before you cut and paste.
\bibitem{cs97-75}
Shiratori~Norio, Kimura~Shigetomo and Dark~Byung-Ho,
``An Algorithm to Verify Equivalence and to Detect Errors for Recursive Processes,''
{\em IEICE Tech. Rep.}, CS97-75, pp.~51-56, Sep. 1997.
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.
