| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Formal Methods for Protocol Engineering and Distributed Systems | 978-O-7923-8646-9 (O-7923-8646-9) | 1999 | Jianping Wu · Samuel T. Chanson |
Qiang Gao · Qing Gao · Qing Gu · Qing Guo · Qinghua Guo · Qiyong Guo · Quanjie Gao · Quanxi Gao · Quinghua Gua