Formal modeling and analysis of the HLA RTI (1997)

by R Allen, D Garlan
Venue:In Summary Report of 1997 Spring Simulation Interoperability Wkshop. Inst. for Simulation and Training