Xinyu Liu, Paul F. Reynolds Jr., David C. Brogan. Using Abstraction in the Verification of Simulation Coercion. In 20th IEEE/ACM/SCS Workshop on Principles of Advanced and Distributed Simulation (PADS 2006), 23-26 May 2006, Singapore. pages 119-128, IEEE Computer Society, 2006. [doi]
Abstract is missing.