Mat
J-GLOBAL ID：200909038578356759
JST material number (FULL)：K20000172E
JST material number：K20000172
Formal Methods for Protocol Engineering and Distributed Systems
JST material number：
JST material number
Identifier of Material (journals)
K20000172
ISBN (1)：
0-7923-8646-9
Material type：Proceedings, Print, zz
Publication frequency： zz
Country of issued：United States(USA)
Language (1)：
English(EN)
Editor/ Editing house (1)：
International Federation for Information Processing
Publisher：
Kluwer Academic Publ.
Publication place：Boston, Mass.
Conference name (3)：
- IFIP TC6 WG6.1 International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, 12th, Beijing, 19991005 - 19991008
- IFIP TC6 WG6.1 International Conference on Protocol Specification, Testing and Verification, 19th
- FORTE 12/PSTV 19 '99
JST library information (0)
※：
※Subject to change. Contact us for the latest status.
Return to Previous Page
