Morse Reseach group

International Workshop on Distributed Systems Validation and Verification (DSVV 2000)

April, 2000 – Taiwan (Taipei)