文献
J-GLOBAL ID：201902206376053241   整理番号：19S0539333

Parameterized testability

  • 出版者サイト 複写サービスで全文入手
  • 高度な検索・分析はJDreamⅢで
著者 (2件)：
Iwama, Kazuo

Iwama, Kazuo について

(School of Informatics, Kyoto University)

School of Informatics, Kyoto University について

, 
Yoshida, Yuichi

Yoshida, Yuichi について

(National Institute of Informatics, and Preferred Infrastructure, Inc.)

National Institute of Informatics, and Preferred Infrastructure, Inc. について


資料名：
ITCS 2014 - Proceedings of the 2014 Conference on Innovations in Theoretical Computer Science

ITCS 2014 - Proceedings of the 2014 Conference on Innovations in Theoretical Computer Science について


ページ： 507-516  発行年： 2014年 
JST資料番号： SCOPUS  ISBN： 9781450322430 
発行国： アメリカ (USA)  言語： 英語 (EN)

前のページに戻る

TOP

BOTTOM