Formal description techniques for object management (1995)

by J Derrick, P F Linington, S J Thompson
Venue:Fourth IFIP/IEEE International Symposium on Integrated Network Management (ISINM '95