Formal Description Techniques and Protocol Specification,
Publisher: Springer
Published: October 31, 1997
Language: eng
Number of pages: 576
ISBN-13: 9780412820601