M. Vardi
发表
W. Hoek,
B. V. Linder,
B. Van Linder,
1994
.
L. M. Tabajara,
Yi-Sho Lin,
M. Vardi,
2022,
TACAS.
O. Kupferman,
M. Vardi,
1999,
Formal Methods Syst. Des..
Lydia E. Kavraki,
Erion Plaku,
Moshe Y. Vardi,
2007,
CAV.
Aniello Murano,
Giuseppe Perelli,
Moshe Y. Vardi,
2011,
ArXiv.
Moshe Y. Vardi,
Wu-chun Feng,
Lijun Zhang,
2021,
Inf. Comput..
Moshe Y. Vardi,
Lijun Zhang,
Andrea Turrini,
2021,
2104.03555.
Yih-Kuen Tsay,
Yong Li,
M. Vardi,
2021,
FM.
Ė. Kh. Tyugu,
E. Tyugu,
M. Vardi,
2004
.
Moshe Y. Vardi,
L. C. Lamb,
Pedro H. C. Avelar,
2020,
2009.05908.