Formal Modeling and Analysis of the HLA Component Integration Standards (1998)

by R Allen, D Garlan, J Ivers
Venue:In Proceedings of the Sixth International Symposium on the Foundations of Software Engineering (FSE-6), Lake Buena