Ostap Monkewich. SDL-based specification and testing strategy for communication network protocols. 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 123-134, Elsevier, 1999.
Abstract is missing.