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.

 

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

Vector addition systems and their applications in the verification of computer programs.. University of Warwick, Coventry, UK, (2022)British Library, EThOS.KReach: A Tool for Reachability in Petri Nets., и . TACAS (1), том 12078 из Lecture Notes in Computer Science, стр. 405-412. Springer, (2020)Verifying higher-order concurrency with data automata., , , и . LICS, стр. 1-13. IEEE, (2021)Thermally Stable Perovskite Solar Cells by Systematic Molecular Design of the Hole-Transport Layer, , , , , , , , , и . ACS Energy Letters, 4 (2): 473--482 (января 2019)Leafy automata for higher-order concurrency., , , и . FoSSaCS, том 12650 из Lecture Notes in Computer Science, стр. 184-204. Springer, (2021)