Ana Cavalli

1 published title

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 Distrib

(Contributor)

1 edition