Art

J-GLOBAL ID：200902221019863946   Reference number：06A0730448

DIVINE-A Tool for Distributed Verification (Tool Paper)

DIVINE-分散検証用のツール

Author (6)： BARNAT Jiri (Masaryk Univ., Brno, CZE) ,  BRIM Lubos (Masaryk Univ., Brno, CZE) ,  CERNA Ivana (Masaryk Univ., Brno, CZE) ,  MORAVEC Pavel (Masaryk Univ., Brno, CZE) ,  ROCKAI Petr (Masaryk Univ., Brno, CZE) ,  SIMECEK Pavel (Masaryk Univ., Brno, CZE)
Material： Lecture Notes in Computer Science  (LNBI)
Volume： 4144  Page： 278-281  Publication year： 2006 
JST Material Number： H0078D  ISSN： 0302-9743  Document type： Proceedings
Country of issue： Germany, Federal Republic of (DEU)  Language： ENGLISH (EN)

Terms in the title (2)： 検証 ,  ツール