Formal Methods For Distributed System Development : Forte / Pstv 2000 Ifip Tc6 Wg6.1 Joint International Conference On Formal Description Techniques For Distributed Systems And Communication Protocols
Formal Description Techniques And Protocol Specification, Testing And Verification : Forte Xi/Pstv Xviii'98 Ifip Tc6 Wg6.1 Joint International Conference On Formal Description Techniques For Distribut