Art

J-GLOBAL ID：200902137792211116   Reference number：95A0245476

The algorithmic analysis of hybrid systems.

混成システムのアルゴリズム的解析

Author (9)： ALUR R (AT&T Bell Lab., NJ, USA) ,  COURCOUBETIS C (Univ. Crete, Heraklion, GRC) ,  HALBWACHS N (VERIMAG-SPECTRE, Grenoble, FRA) ,  HENZINGER T A (Cornell Univ., NY, USA) ,  HO P-H (Cornell Univ., NY, USA) ,  NICOLLIN X (VERIMAG-SPECTRE, Grenoble, FRA) ,  OLIVERO A (VERIMAG-SPECTRE, Grenoble, FRA) ,  SIFAKIS J (VERIMAG-SPECTRE, Grenoble, FRA) ,  YOVINE S (VERIMAG-SPECTRE, Grenoble, FRA)
Material： Theoretical Computer Science  (Theoretical Computer Science Part B. Logic, Semantics and Theory of Programming)
Volume： 138  Issue： 1  Page： 3-34  Publication year： Feb. 06, 1995 
JST Material Number： T0022A  ISSN： 0304-3975  CODEN： TCSDIQ  Document type： Article
Article type： 原著論文  Country of issue： Netherlands (NLD)  Language： ENGLISH (EN)

Thesaurus term： finite automaton ,...

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=95A0245476&from=J-GLOBAL&jstjournalNo=T0022A") }}

JST classification (1)： Theory of computation  (JB02000A)

Terms in the title (2)： アルゴリズム ,  解析