論文

査読有り筆頭著者責任著者本文へのリンクあり

2015年

Monitoring Bounded LTL Properties Using Interval Analysis.

NSV Workshop

Daisuke Ishii
Naoki Yonezaki
Alexandre Goldsztejn

巻: ENTCS 317
号
開始ページ: 85
終了ページ: 100
記述言語
掲載種別: 研究論文（国際会議プロシーディングス）
DOI: 10.1016/j.entcs.2015.10.009

リンク情報

DOI: https://doi.org/10.1016/j.entcs.2015.10.009
DBLP: https://dblp.uni-trier.de/rec/journals/entcs/IshiiYG15
URL: https://arxiv.org/abs/1506.01762 本文へのリンクあり

ID情報

DOI : 10.1016/j.entcs.2015.10.009
DBLP ID : journals/entcs/IshiiYG15

エクスポート: BibTeX RIS

論文リストへ