Using ITL and Tempura for Large-Scale Specification and Simulation

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.

Authors

Antonio Cau

This author has not been identified. Look up 'Antonio Cau' in Google

Hussein Zedan

This author has not been identified. Look up 'Hussein Zedan' in Google

Nick Coleman

This author has not been identified. Look up 'Nick Coleman' in Google

Ben C. Moszkowski

This author has not been identified. Look up 'Ben C. Moszkowski' in Google