Tool supported Specification and Simulation of Distributed Systems (1998)

by F Huber, S Molterer, A Rausch, B Schatz, M Sihling, O Slotosch
Venue:In International Symposium on Software Engineering for Parallel and Distributed Systems