|
Search the dblp DataBase
S. Aggarwal:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- S. Aggarwal, Robert P. Kurshan
Modelling Elapsed Time in Protocol Specification. [Citation Graph (0, 0)][DBLP] Protocol Specification, Testing, and Verification, 1983, pp:51-62 [Conf]
- S. Aggarwal, Robert P. Kurshan, Krishan K. Sabnani
A Calculus for Protocol Specification and Validation. [Citation Graph (0, 0)][DBLP] Protocol Specification, Testing, and Verification, 1983, pp:19-34 [Conf]
- S. Aggarwal, Robert P. Kurshan, D. Sharma
A Language for the Specification and Analysis of Protocols. [Citation Graph (0, 0)][DBLP] Protocol Specification, Testing, and Verification, 1983, pp:35-50 [Conf]
- S. Aggarwal, P. Obenour
Specifying a Switch System Using IC. [Citation Graph (0, 0)][DBLP] INFOCOM, 1990, pp:296-304 [Conf]
- S. Aggarwal, Robert P. Kurshan
Automated Implementation from Formal Specification. [Citation Graph (0, 0)][DBLP] PSTV, 1984, pp:127-136 [Conf]
Search in 0.002secs, Finished in 0.002secs
|