Zhongjie Li, Jianping Wu, Xia Yin. Testing Multi Input/Output Transition System with All-Observer. In Roland Groz, Robert M. Hierons, editors, Testing of Communicating Systems, 16th IFIP International Conerence, TestCom 2004, Oxford, UK, March 17-19, 2004, Proceedings. Volume 2978 of Lecture Notes in Computer Science, pages 95-111, Springer, 2004. [doi]
Abstract is missing.