Test case generation from asml specifications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2589, Issue , 2003, Pages 413-

  Grieskamp, Wolfgang ^a   Nachmanson, Lev ^a   Tillmann, Nikolai ^a   Veanes, Margus ^a  

^a MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84949788749     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36498-6_27     Document Type: Conference Paper

References (0)