9783540292098 - automated technology for verification and analysis: third international symposium, atva 2005, taipei, taiwan, october 4-7, 2005, proceedings (lecture notes in computer science, 3707, band 3707) von tsay, yih-kuen; peled, doron a. (1 Ergebnisse)