http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
https://www.riss.kr/link?id=O67147913
2015년
eng
0934-5043
1433-299X
SCIE;SCOPUS
학술저널
FORMAL ASPECTS OF COMPUTING
805-829 [※수록면이 p5 이하이면, Review, Columns, Editor's Note, Abstract 등일 경우가 있습니다.]
0
상세조회0
다운로드
Untanglings: a novel approach to analyzing concurrent systems
Model checking the observational determinism security property using PROMELA and SPIN
Categorical foundations for structured specifications in Formula Not Shown
Finding semantic associations in hierarchically structured groups of Web data