Treffer: On the Proof of Correctness of 'Yet Another Asynchronous Distributed Discrete Event Simulation Algorithm (YADDES)'

Title:
On the Proof of Correctness of 'Yet Another Asynchronous Distributed Discrete Event Simulation Algorithm (YADDES)'
Authors:
Source:
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A SYSTEMS AND HUMANS. 26(1):68-80
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings