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.

 

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

NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems., , , , , , , , и . TACAS (1), том 13243 из Lecture Notes in Computer Science, стр. 125-142. Springer, (2022)Symbolic Model Checking of Relative Safety LTL Properties., , , и . iFM, том 14300 из Lecture Notes in Computer Science, стр. 302-320. Springer, (2023)