Mat
J-GLOBAL ID：200909096581172669
JST material number (FULL)：K19970184D
JST material number：K19970184
Formal Description Techniques 9
JST material number：
JST material number
Identifier of Material (journals)
K19970184
ISBN (1)：
0-412-79490-X
Material type：Proceedings, Print, zz
Publication frequency： zz
Country of issued：United Kingdom(GBR)
Language (1)：
English(EN)
Editor/ Editing house (1)：
International Federation for Information Processing
Publisher：
Chapman and Hall
Publication place：London
Conference name (3)：
- IFIP TC6/WG6.1 International Conference on Formal Description Techniques, 9th, Kaiserslautern, 19961008 - 19961011
- IFIP TC6/WG6.1 International Conference on Protocol Specification Testing and Verification, 16th
- FORTE/PSTV '96
JST library information (0)：
Subject to change. Contact us for the latest status.
Return to Previous Page
