Using ITL and Tempura for Large-Scale Specification and Simulation

• Authors:

• A. Cau;H. Zedan;N. Coleman;B. Moszkowski

• Affiliations:

• -;-;-;-

• Venue:
• PDP '96 Proceedings of the 4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96)
• Year:
• 1996