Art

J-GLOBAL ID：201102270466517981   Reference number：11A1886300

CVC4

CVC4

Author (8)： BARRETT Clark (New York Univ.) ,  CONWAY Christopher L. (New York Univ.) ,  DETERS Morgan (New York Univ.) ,  HADAREAN Liana (New York Univ.) ,  JOVANOVIC Dejan (New York Univ.) ,  KING Tim (New York Univ.) ,  REYNOLDS Andrew (Univ. Iowa) ,  TINELLI Cesare (Univ. Iowa)
Material： Lecture Notes in Computer Science  (LNBI)
Volume： 6806  Page： 171-177  Publication year： 2011 
JST Material Number： H0078D  ISSN： 0302-9743  Document type： Proceedings
Country of issue： Germany, Federal Republic of (DEU)  Language： ENGLISH (EN)