Ana Maria Ponce, Gyula Csopaki, Katalin Tarnay. Formal specification of conformance testing documents for communication protocols. In The 5th IEEE International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 1994, The Hague, The Netherlands, September 18-23, 1994. pages 1167-1172, 1994. [doi]
Abstract is missing.