Clemens Fischer, Heike Wehrheim
Model-Checking CSP-OZ Specifications with FDR
IFM, 1999.
@inproceedings{IFM-1999-FischerW,
author = "Clemens Fischer and Heike Wehrheim",
booktitle = "{Proceedings of the First International Conference on Integrated Formal Methods}",
isbn = "1-85233-107-0",
pages = "315--334",
publisher = "{Springer-Verlag}",
title = "{Model-Checking CSP-OZ Specifications with FDR}",
year = 1999,
}