| 1990 |
|---|
| 5 | | S. Aggarwal,
P. Obenour:
Specifying a Switch System Using IC.
INFOCOM 1990: 296-304 |
| 1984 |
|---|
| 4 | | S. Aggarwal,
Robert P. Kurshan:
Automated Implementation from Formal Specification.
PSTV 1984: 127-136 |
| 1983 |
|---|
| 3 | | S. Aggarwal,
Robert P. Kurshan,
Krishan K. Sabnani:
A Calculus for Protocol Specification and Validation.
Protocol Specification, Testing, and Verification 1983: 19-34 |
| 2 | | S. Aggarwal,
Robert P. Kurshan,
D. Sharma:
A Language for the Specification and Analysis of Protocols.
Protocol Specification, Testing, and Verification 1983: 35-50 |
| 1 | | S. Aggarwal,
Robert P. Kurshan:
Modelling Elapsed Time in Protocol Specification.
Protocol Specification, Testing, and Verification 1983: 51-62 |
