Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Matan I. Peled"'
Publikováno v:
Formal Methods ISBN: 9783031274800
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::45ccf52bb796e9e317f42630f6cbf12e
https://doi.org/10.1007/978-3-031-27481-7_6
https://doi.org/10.1007/978-3-031-27481-7_6