Muralidhar Talupur
发表
Muralidhar Talupur,
2011,
2011 Formal Methods in Computer-Aided Design (FMCAD).
Dong Wang,
Edmund M. Clarke,
Orna Grumberg,
2003,
CAV.
Sharad Malik,
Muralidhar Talupur,
Divjyot Sethi,
2014,
ATVA.
Helmut Veith,
Edmund M. Clarke,
Tayssir Touili,
2004,
CONCUR.
Helmut Veith,
Dong Wang,
Edmund M. Clarke,
2003,
SAT.
Sharad Malik,
Muralidhar Talupur,
Divjyot Sethi,
2015,
International Journal on Software Tools for Technology Transfer.
Muralidhar Talupur,
Edmund M. Clarke,
E. Clarke,
2006
.
Edmund M. Clarke,
Muralidhar Talupur,
Flavio Lerda,
2007
.
Amir Pnueli,
Ofer Strichman,
Muralidhar Talupur,
2004,
CAV.
C. Pandu Rangan,
Lakshminarayanan Subramanian,
Kamala Krithivasan,
2000,
J. Autom. Lang. Comb..
Dong Wang,
Edmund M. Clarke,
Orna Grumberg,
2003,
First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings..
Sharad Malik,
Daniel Schwartz-Narbonne,
Muralidhar Talupur,
2012,
SPIN.
Kamala Krithivasan,
Prahladh Harsha,
Muralidhar Talupur,
2006,
CDES.
Helmut Veith,
Edmund M. Clarke,
Muralidhar Talupur,
2006,
VMCAI.
Muralidhar Talupur,
Hyojung Han,
2011,
TACAS.
Sharad Malik,
Muralidhar Talupur,
Divjyot Sethi,
2013,
SPIN.
Parosh Aziz Abdulla,
A. Prasad Sistla,
Muralidhar Talupur,
2018,
Handbook of Model Checking.
Aarti Gupta,
Malay K. Ganai,
Muralidhar Talupur,
2007,
J. Satisf. Boolean Model. Comput..
Helmut Veith,
Edmund M. Clarke,
Muralidhar Talupur,
2008,
TACAS.
Shuvendu K. Lahiri,
Randal E. Bryant,
Amit Goel,
2004,
TACAS.
Aarti Gupta,
Malay K. Ganai,
Muralidhar Talupur,
2006,
TACAS.
Suman Nath,
Muralidhar Talupur,
Suman Nath,
2001
.