From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Software Verification Based on Linear Programming., , и . World Congress on Formal Methods, том 1709 из Lecture Notes in Computer Science, стр. 1147-1165. Springer, (1999)A Comparative Study between Linear Programming Validation (LPV) and other Verification Methods., и . ASE, стр. 299-302. IEEE Computer Society, (1999)A dynamic constraint-based BMC strategy for generating counterexamples., , , , и . SAC, стр. 1633-1638. ACM, (2011)