http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
MSCtool: Message Sequence Chart Specification and Verification using PROMELA/SPIN
Lovrek, I.,Jelavic, D.,Pavelic, M.,Dautovic, E. University of Zagreb, Faculty of Electrical Engineering and Computing, Department of Telecommunications 1997 INTERNATIONAL WORKSHOP ON APPLIED FORMAL METHODS I Vol.2 No.-