Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97: IFIP TC6/WG 6.1 International Conference ... in Information and Communication Technology)

by: Atsushi Togashi · Tadanori Mizuno · Norio Shiratori Hardcover details (UK). ISBN: 978-0-412-82060-1 ISBN-10: 0-412-82060-9 Springer · 1997