Yuping Dong, Yinghua Lu, Qiang Gao. Specification, validation and implementation of ATM UNI signaling protocols in SDL. In Rachida Dssouli, Gregor von Bochmann, Yair Lahav, editors, SDL 99 The Next Millennium, 9th International SDL Forum, Montréal, Québec, Canada, 21-25 June, 1999, Proceedings. pages 341-354, Elsevier, 1999.
Abstract is missing.