Formal Description Techniques, IV
Subtitle: Proceedings of the IFIP TC6/WG6. 1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991
Publisher: Elsevier Science & Technology Books
Published: 2013
Language: eng
ISBN-13: 9781483293332