Validating Discrete Event Simulations Using Event Pattern Mappings

Benoit A. Gennart, David C. Luckham. Validating Discrete Event Simulations Using Event Pattern Mappings. In DAC. pages 414-419, 1992. [doi]

Abstract

Abstract is missing.