文献

J-GLOBAL ID：201002297693944258   整理番号：10A0956503

線形インタフェイスを用いたパラメータ化並列プログラムのモデル検査

Model-Checking Parameterized Concurrent Programs Using Linear Interfaces

著者 (3件)： LA TORRE Salvatore (Universita degli Studi di Salerno, ITA) ,  MADHUSUDAN P. (Univ. Illinois at Urbana-Champaign, USA) ,  PARLATO Gennaro (Univ. Illinois at Urbana-Champaign, USA)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 6174  ページ： 629-644  発行年： 2010年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (5件)： 線形 ,  インタフェイス ,  パラメータ化 ,  並列プログラム ,  モデル検査