|
Japanese / English
|
|
||
| Top & Workshop Schedule / Topics / Award / Submission / Photo / Committee / DB / Links | ||
DB info
Ohta Tadashi, Kawarasaki Yasurou and Harada Eiji,
"A Method for Verification of the transition to an incorrect state,"
IEICE Tech. Rep., CS95-82, pp. 49-54, Sep. 1995.
Report Number: CS95-82, SSE95-62, IN95-33
pLaTeX format
The abbreviation of author's names was made automatically. Please confirm them before you cut and paste.
\bibitem{cs95-82}
Ohta~Tadashi, Kawarasaki~Yasurou and Harada~Eiji,
``A Method for Verification of the transition to an incorrect state,''
{\em IEICE Tech. Rep.}, CS95-82, pp.~49-54, Sep. 1995.
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.
