Paris      France     November 3-6     1998

 IFIP TC6/WG6.1 Joint International Conference on

FORMAL DESCRIPTION TECHNIQUES
(FORTE XI)
&
PROTOCOL SPECIFICATION, TESTING, AND VERIFICATION
(PSTV XVIII)