JAIST Repository > b. 情報科学研究科・情報科学系 > b30. リサーチレポート > Research Report - School of Information Science : ISSN 0918-7553 >
Context-sensitive points-to analysis for Java as all-in-one weighted pushdown model checking
Lambdoid emergence
カラードペトリネットによるワークフローシステムのモデル化と検証
Fault-tolerant Flocking in a k-bounded Asynchronous System
Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol