文献

J-GLOBAL ID：201202210079208991   整理番号：12A0863279

BioAmbientsのための時間特性の抽象解釈に基づく検証

Abstract interpretation based verification of temporal properties for BioAmbients

著者 (2件)： GORI Roberta (Univ. Pisa, ITA) ,  LEVI Francesca (Univ. Pisa, ITA)
資料名： Information and Computation  (Information and Computation)
巻： 208  号： 8  ページ： 869-921  発行年： 2010年08月 
JST資料番号： D0449A  ISSN： 0890-5401  CODEN： INFCEC  資料種別： 逐次刊行物 (A)
発行国： オランダ (NLD)  言語： 英語 (EN)

タイトルに関連する用語 (2件)： 抽象解釈 ,  検証