Especificações e simulação na linguagem formal SDL das sinalizações de registro e conexão de uma rede ATM sem fio - Barreto, Matheus de Carvalho (1999)
Orientador: Walter da Cunha Borelli