Formal Description Techniques VIII, Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995

Gregor von Bochmann Rachida Dssouli Omar Rafiq Formal Description Techniques VIII, Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995 FORTE IFIP Conference Proceedings 43 Chapman & Hall 1996 0-412-73270-X db/conf/forte/forte1995.html