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.

 

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

DiVinE 3.0 - An Explicit-State Model Checker for Multithreaded C & C++ Programs., , , , , , , , и . CAV, том 8044 из Lecture Notes in Computer Science, стр. 863-868. Springer, (2013)Fast, Dynamically-Sized Concurrent Hash Table., , , и . SPIN, том 9232 из Lecture Notes in Computer Science, стр. 49-65. Springer, (2015)