@inproceedings{CTT100665099, author = {長利健治 and 室岡拓弥 and 萩原聖貴 and 安藤崇央 and 島川昌也 and 伊藤宗平 and 萩原茂樹 and 米崎直樹}, title = {記述性を重視したリアクティブシステム用仕様記述言語T}, booktitle = {}, year = 2013, } @inproceedings{CTT100661008, author = {Kenji Osari and Takuya Murooka and Kiyotaka Hagiwara and Takahiro Ando and Masaya Shimakawa and Sohei Ito and Shigeki Hagihara and Naoki Yonezaki}, title = {An object-oriented language for parameterised reactive system specification based on linear temporal logic}, booktitle = {Preproceedings of Workshop on Computation: Theory and Practice (WCTP2013)}, year = 2013, } @inproceedings{CTT100593460, author = {萩原聖貴 and 安藤崇央 and 島川昌也 and 伊藤宗平 and 萩原茂樹 and 米崎直樹}, title = {記述性を重視したリアクティブシステム用仕様記述言語T}, booktitle = {日本ソフトウェア科学会第26回大会講演論文集}, year = 2009, }