Export record to excel
File type to download
![Formal description techniques, IV : proceedings of the ...](https://secure.syndetics.com/index.aspx?isbn=9780444894021/lc.jpg&client=walesp&type=unbound)
Books
Author / Creator:IFIP TC6/WG6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (4th : 1991 : Sydney, N.S.W.)
Publisher:Amsterdam ; New York : North-Holland ; Distributors for the U.S. and Canada, Elsevier Science Pub., 1992.
Date:1992.
Call Numbers:T0371978
For use in the Library