| Type |  Book |
| ชื่อเรื่อง | Communication protocol specification and verification / by Richard Lai, Ajin Jirachiefpattana |
| ผู้แต่ง | Lai, Richard |
| ISBN | 0792382846 |
| พิมพลักษณ์ | Boston : Kluwer, c1998 |
| รูปเล่ม | 304 p. : ill |
| หัวเรื่อง | Computer network protocols --Specifications [] |
| | Computer programs --Verification [] |
| | Lotus (Computer program language) |