Dirk Brade. Formal Behaviour Verification of HLA Federations using Temporal Logic. In Krzysztof Amborski, Hermann Meuth, editors, 16:::th::: European Simulation Multiconference: Modelling and Simulation 2002, June 3-5, 2002, Fachhochschule Darmstadt, Darmstadt, Germany. pages 273-277, SCS Europe, 2002.
Abstract is missing.