著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
ISHII Daisuke and YONEZAKI Naoki and GOLDSZTEJN Alexandre,Monitoring Temporal Properties Using Interval Analysis,"IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences",0916-8508,一般社団法人 電子情報通信学会,2016,E99.A,2,442-453,https://cir.nii.ac.jp/crid/1390282681288425216,https://doi.org/10.1587/transfun.e99.a.442