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..

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 .