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