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)
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