|
Search the dblp DataBase
S. Rajan:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- S. Rajan, P. Venkat Rangan, Harrick M. Vin
A Formal Basis for Structured Multimedia Collaborations. [Citation Graph (1, 0)][DBLP] ICMCS, 1995, pp:194-201 [Conf]
- Sam Owre, S. Rajan, John M. Rushby, Natarajan Shankar, Mandayam K. Srivas
PVS: Combining Specification, Proof Checking, and Model Checking. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:411-414 [Conf]
- S. Rajan, Natarajan Shankar, Mandayam K. Srivas
An Integration of Model Checking with Automated Proof Checking. [Citation Graph (0, 0)][DBLP] CAV, 1995, pp:84-97 [Conf]
- David Cyrluk, S. Rajan, Natarajan Shankar, Mandayam K. Srivas
Effective Theorem Proving for Hardware Verification. [Citation Graph (0, 0)][DBLP] TPCD, 1994, pp:203-222 [Conf]
How not to share a set of secrets [Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.004secs
|