"’·—˜Œ’Ž¡,Žº‰ª‘ñ–í,”‹Œ´¹‹M,ˆÀ“¡’‰›,“‡ì¹–ç,ˆÉ“¡@•½,”‹Œ´–ÎŽ÷,•Äè’¼Ž÷","‹Lq«‚ðdŽ‹‚µ‚½ƒŠƒAƒNƒeƒBƒuƒVƒXƒeƒ€—pŽd—l‹LqŒ¾ŒêT","‘æ20‰ñƒ\ƒtƒgƒEƒFƒAHŠw‚ÌŠî‘bƒ[ƒNƒVƒ‡ƒbƒvFOSE2013",,,,,,2013,Nov. "Kenji Osari,Takuya Murooka,Kiyotaka Hagiwara,Takahiro Ando,Masaya Shimakawa,Sohei Ito,Shigeki Hagihara,Naoki Yonezaki","An object-oriented language for parameterised reactive system specification based on linear temporal logic","Workshop on Computation: Theory and Practice (WCTP2013)","Preproceedings of Workshop on Computation: Theory and Practice (WCTP2013)",,,,"pp. 94-113",2013,Sept. "”‹Œ´¹‹M,ˆÀ“¡’‰›,“‡ì¹–ç,ˆÉ“¡@•½,”‹Œ´–ÎŽ÷,•Äè’¼Ž÷","‹Lq«‚ðdŽ‹‚µ‚½ƒŠƒAƒNƒeƒBƒuƒVƒXƒeƒ€—pŽd—l‹LqŒ¾ŒêT",,"“ú–{ƒ\ƒtƒgƒEƒFƒA‰ÈŠw‰ï‘æ26‰ñ‘å‰ïu‰‰˜_•¶W",,,,,2009,Sept.