Mat
J-GLOBAL ID：200909078356345602
JST material number (FULL)：K19980667Y
JST material number：K19980667
Formal Description Techniques and Protocol Specification, Testing and Verification
JST material number：
JST material number
Identifier of Material (journals)
K19980667
ISBN (1)：
0-412-84760-4
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：Norwell, Mass.
Conference name (3)：
- IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, 11th, Paris, 19981103 - 19981106
- IFIP TC6 WG6.1 International Conference on Protocol Specification, Testing and Verification, 18th
- FORTE/PSTV '98
JST library information (0)
※：
※Subject to change. Contact us for the latest status.
Return to Previous Page
