Rong Phoophuangpairoj Verification of message exchange in a model of office communication. Thesis (M.Sc. (Computer Science))--Mahidol University, 1997. Retrieved from: https://repository.li.mahidol.ac.th/handle/20.500.14594/103224
Title
Verification of message exchange in a model of office communication