Formal description techniques, V : proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '92, Perros-Guirec, France, 13-16 October 1992 / edited by Michel Diaz, Roland Groz.
Saved in:
Published: |
Amsterdam ; New York :
North-Holland,
1993.
|
---|---|
Corporate Author: | |
Other Authors: | |
Series: | IFIP transactions. C, Communication systems,
C-10 |
Subjects: | |
Format: | Conference Proceeding Book |
EPS Library, Level 2
Call Number
Copy
Loan Type
Status
Request
|
|||||