http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이 학술지의 논문 검색
Modeling and Model Checking Web Services
Schlingloff, H.; Martens, A.; Schmidt, K. ELSEVIER SCIENCE B.V AMSTERDAM 2005 p.3-26
Algebra and Sequent Calculus for Epistemic Actions
Baltag, A.; Coecke, B.; Sadrzadeh, M. ELSEVIER SCIENCE B.V AMSTERDAM 2005 p.27-52
Toward Reasoning about Security Protocols: A Semantic Approach
Hommersom, A.; Meyer, J. J.; de Vink, E. ELSEVIER SCIENCE B.V AMSTERDAM 2005 p.53-75
On Epistemic Temporal Strategic Logic
van Otterloo, S.; Jonker, G. ELSEVIER SCIENCE B.V AMSTERDAM 2005 p.77-92
Bounded Model Checking for Deontic Interpreted Systems
Wozna, B.; Lomuscio, A.; Penczek, W. ELSEVIER SCIENCE B.V AMSTERDAM 2005 p.93-114