|
Japanese / English
|
|
||
| Top & Workshop Schedule / Topics / Award / Submission / Photo / Committee / DB / Links | ||
DB info
Takahashi Kaoru, Ohta Masataka, Andou Tsuyoshi, and Yamano Keiichirou,
"Formal Specification and Verification of ISDN Services in LOTOS,"
IEICE Tech. Rep., CS91-34, pp. 35-40, July 1991.
Report Number: CS91-34, SAT91-25, SSE91-30, IN91-30
pLaTeX format
The abbreviation of author's names was made automatically. Please confirm them before you cut and paste.
\bibitem{cs91-34}
Takahashi~Kaoru, Ohta~Masataka, Andou~Tsuyoshi, and Yamano~Keiichirou,
``Formal Specification and Verification of ISDN Services in LOTOS,''
{\em IEICE Tech. Rep.}, CS91-34, pp.~35-40, 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.
