Authors: Robert J. Allen, David Garlan, and James Ivers
BIBTEX Citation
@InProceedings{AGI98FSE,
key = "Allen",
author = "Robert Allen and David Garlan and James
Ivers",
title = "Formal Modeling and Analysis of the HLA Component
Integration
Standard ",
booktitle = {Proceedings of of the Sixth International Symposium
on the
Foundations of Software Engineering (FSE-6)},
year = 1998,
publisher = {ACM},
address = {Lake Buena Vista, Florida},
month = {November}
}