文献

J-GLOBAL ID：201002239633921810   整理番号：10A1107626

時間オートマトンに対する記号的および合成到達可能性

Symbolic and Compositional Reachability for Timed Automata

著者 (1件)： LARSEN Kim Guldstrand (Aalborg Univ., DNK)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 6227  ページ： 24-28  発行年： 2010年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (3件)： オートマトン ,  記号 ,  到達可能性