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