[MC] _________________________ AMAST Links 02 07

8th International Conference on Formal Description Techniques, FORTE'95

for Distributed Systems and Communications Protocols
Montreal, Quebec, Canada, October 17 - 20, 1995

Update of information in [AL0206MI] .
The Final Program is available.