Includes index.
Formal description techniques, VII : proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques. ISBN 0412644509. Published by Chapman & Hall on behalf of the International Federation for Information Processing (IFIP) in 1995. Publication and catalogue information, links to buy online and reader comments.