Antonio Cau, Hussein Zedan, Nick Coleman, Ben C. Moszkowski
Using ITL and Tempura for Large-Scale Specification and Simulation
PDP, 1996.
@inproceedings{PDP-1996-CauZCM,
author = "Antonio Cau and Hussein Zedan and Nick Coleman and Ben C. Moszkowski",
booktitle = "{Proceedings of the Fourth Euromicro Workshop on Parallel and Distributed Processing}",
isbn = "0-8186-7376-1",
pages = "493--500",
publisher = "{IEEE Computer Society}",
title = "{Using ITL and Tempura for Large-Scale Specification and Simulation}",
year = 1996,
}