 | 2006 |
|---|
| 5 |       | Telemaco Melia,
Amardeo Sarma,
Rui L. Aguiar,
Dieter Hogrefe:
Case study on the use of SDL for specifying an IETF micro mobility protocol.
COMSWARE 2006 |
| 2002 |
|---|
| 4 |  | Augusto Casaca,
Amardeo Sarma:
Towards a new Internet architecture.
Computer Networks 40(1): 1-4 (2002) |
| 1997 |
|---|
| 3 | | Ana R. Cavalli,
Amardeo Sarma:
SDL '97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings
Elsevier 1997 |
| 1996 |
|---|
| 2 | | Amardeo Sarma:
Introduction to SDL-92.
Computer Networks and ISDN Systems 28(12): 1603-1615 (1996) |
| 1988 |
|---|
| 1 | | Dieter Hogrefe,
Amardeo Sarma:
Non-Determinism and SDL.
FORTE 1988: 157-167 |
