Formal methods for protocol engineering and distributed systems. FORTE XII/ PSTV XIX '99. IFIP TC6 WG6. 1 joint international conference on Formal description techniques for distributed systems and communication protocols (FORTE XII) and protocol specific

zbMATH Open0932.00062MaRDI QIDQ1962884

Author name not available (Why is that?)

Publication date: 19 January 2000

Published in: (Search for Journal in Brave)

No records found.

This page was built for publication: Formal methods for protocol engineering and distributed systems. FORTE XII/ PSTV XIX '99. IFIP TC6 WG6. 1 joint international conference on Formal description techniques for distributed systems and communication protocols (FORTE XII) and protocol specific

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1962884)