http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
https://www.riss.kr/link?id=O51715841
2009년
eng
1571-0661
SCOPUS
학술저널
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
17-42 [※수록면이 p5 이하이면, Review, Columns, Editor's Note, Abstract 등일 경우가 있습니다.]
0
상세조회0
다운로드
Deciding Reachability in Mobile Ambients with Name Restriction
Bounded Communication Reachability Analysis of Process Rewrite Systems with Ordered Parallelism
Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives