Francis Schneider, Steve M. Easterbrook, John R. Callahan, Gerard J. Holzmann
Validating Requirements for Fault Tolerant Systems using Model Checking
RE, 1998.
@inproceedings{ICRE-1998-SchneiderECH,
author = "Francis Schneider and Steve M. Easterbrook and John R. Callahan and Gerard J. Holzmann",
booktitle = "{Proceedings of the Third International Conference on Requirements Engineering: Putting Requirements Engineering to Practice}",
doi = "10.1109/ICRE.1998.667803",
isbn = "0-8186-8356-2",
pages = "4--13",
publisher = "{IEEE Computer Society}",
title = "{Validating Requirements for Fault Tolerant Systems using Model Checking}",
year = 1998,
}