- 【Updated on May 12, 2025】 Integration of CiNii Dissertations and CiNii Books into CiNii Research
- Trial version of CiNii Research Automatic Translation feature is available on CiNii Labs
- Suspension and deletion of data provided by Nikkei BP
- Regarding the recording of “Research Data” and “Evidence Data”
時間制約によるAlloy記述の拡張
-
- Yuen Shoji
- 名古屋大学
-
- 寺内 多智弘
- 北陸先端科学技術大学院大学
Bibliographic Information
- Title
- 時間制約によるAlloy記述の拡張
- Author
- 黒板亮太, 結縁祥治
Journal
-
- 信学技法ソフトウェアサイエンス
-
信学技法ソフトウェアサイエンス 113-448 1-6, 2014
- Tweet
Details 詳細情報について
-
- CRID
- 1010000782240051345
-
- Article Type
- journal article
-
- Data Source
-
- KAKEN