Antonio Cau, Hussein Zedan, Nick Coleman, Ben C. Moszkowski. Using ITL and Tempura for Large-Scale Specification and Simulation. In 4th Euromicro Workshop on Parallel and Distributed Processing (PDP 96), January 24-26, 1996, Portugal. pages 493-500, IEEE Computer Society, 1996.
Abstract is missing.