1996 |
4 | | Sam Owre,
S. Rajan,
John M. Rushby,
Natarajan Shankar,
Mandayam K. Srivas:
PVS: Combining Specification, Proof Checking, and Model Checking.
CAV 1996: 411-414 |
1995 |
3 | | S. Rajan,
Natarajan Shankar,
Mandayam K. Srivas:
An Integration of Model Checking with Automated Proof Checking.
CAV 1995: 84-97 |
2 | | S. Rajan,
P. Venkat Rangan,
Harrick M. Vin:
A Formal Basis for Structured Multimedia Collaborations.
ICMCS 1995: 194-201 |
1994 |
1 | | David Cyrluk,
S. Rajan,
Natarajan Shankar,
Mandayam K. Srivas:
Effective Theorem Proving for Hardware Verification.
TPCD 1994: 203-222 |