Communication Protocol Specification and Verification (The Springer International Series in Engineering and Computer Science)
by:
Richard Lai
· Ajin Jirachiefpattana
Hardcover
details (
USA
).
ISBN: 978-0-7923-8284-3
ISBN-10: 0-7923-8284-6
Springer
· 1998