Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE '93, Boston, MA, USA, 26-29 October 1993

Richard L. Tenney Paul D. Amer M. Ümit Uyar Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE '93, Boston, MA, USA, 26-29 October 1993 FORTE IFIP Transactions C-22 North-Holland 1994 0-444-81773-5 db/conf/forte/forte1993.html