2010年5月 Complete Validation of Graph Transformations GRACE Technical Report GRACE-TR-2010-04 Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano 記述言語 英語 掲載種別 講演資料等(セミナー,チュートリアル,講習,講義他) エクスポート BibTeX RIS