Search

You searched for: Auteur Cha, Sungdeok (Steve) Remove constraint Auteur: Cha, Sungdeok (Steve)
1 entry found
Number of results to display per page

Search Results

1. Automated Technology for Verification and Analysis
thumbnail
Full text!
Author:
Cha, Sungdeok (Steve); Choi, Jin-Young; Kanade, Takeo; Kim, Moonzoo; Lee, Insup; Viswanathan, Mahesh; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2008
Format:
e-book