1997 Spring Simulation Interoperability Workshop, Orlando FL , March 1997.
BIBTEX Citation
@InProceedings{Allen97SimWkshop,
author = {Robert Allen and David Garlan},
title = {Formal Modeling and Analysis of the HLA RTI},
booktitle = {Summary Report of the 1997 Spring Simulation
Interoperability Workshop},
key = {Allen},
publisher = {Institute for Simulation and Training},
address = {Orlando, Florida},
month = {March},
year = 1997,
note = {IST-CF-97-01.2},
pages = {1153-1161}