[MI] _________________________ AMAST Links 02 06

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

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

The FORTE'95 Preliminary Program is available.