文献

J-GLOBAL ID：201102230935092502   整理番号：11A1112071

時間論理のための制約に基づく抽象的意味論:設計および実装に対する直接的アプローチ

Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation

著者 (3件)： BANDA Gourinath (Roskilde Univ., DNK) ,  GALLAGHER John P. (Roskilde Univ., DNK) ,  GALLAGHER John P. (IMDEA Software, Madrid)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 6355  ページ： 27-45  発行年： 2010年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (5件)： 時間論理 ,  制約 ,  意味論 ,  設計 ,  実装