Srinivas Nedunuri
发表
William R. Cook,
Douglas R. Smith,
Srinivas Nedunuri,
2012,
SYNT.
Srinivas Nedunuri,
2000,
SOEN.
William R. Cook,
Srinivas Nedunuri,
W. Cook,
2009,
GPCE '09.
William R. Cook,
Douglas R. Smith,
Srinivas Nedunuri,
2009,
NASA Formal Methods.
Swarat Chaudhuri,
Lydia E. Kavraki,
Mark Moll,
2014,
2014 IEEE International Conference on Robotics and Automation (ICRA).
William R. Cook,
Douglas R. Smith,
Srinivas Nedunuri,
2010,
ICTAC.
Swarat Chaudhuri,
Lydia E. Kavraki,
Mark Moll,
2015
.
William R. Cook,
Douglas R. Smith,
Srinivas Nedunuri,
2010,
NASA Formal Methods.
Jia Liu,
Don S. Batory,
Srinivas Nedunuri,
2005,
FIW.
William R. Cook,
Douglas R. Smith,
Srinivas Nedunuri,
2012,
FM.
William R. Cook,
Srinivas Nedunuri,
W. Cook,
2011
.