Deriving Parameter Conditions for Periodic Timed Automata Satisifying Real-Time Temporal Logic Formulas (New Developments of Theory of Computation and Algorithms)

このアイテムのアクセス数: 192

http://hdl.handle.net/2433/41018

このアイテムのファイル:

ファイル	記述	サイズ	フォーマット
1205_28.pdf		896.31 kB	Adobe PDF	見る/開く

タイトル:	Deriving Parameter Conditions for Periodic Timed Automata Satisifying Real-Time Temporal Logic Formulas (New Developments of Theory of Computation and Algorithms)
著者:	Nakata, Akio
著者名の別形:	中田, 明夫
発行日:	May-2001
出版者:	京都大学数理解析研究所
誌名:	数理解析研究所講究録
巻:	1205
開始ページ:	160
終了ページ:	165
URI:	http://hdl.handle.net/2433/41018
出現コレクション:	1205 計算理論とアルゴリズムの新展開

このリポジトリに保管されているアイテムはすべて著作権により保護されています。