F. Ammar-Boudjelal, Jean-Yves Lafaye, Georges Louis. Specifying the steam-boiler case study with SDL. In Ana R. Cavalli, Amardeo Sarma, editors, SDL 97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings. pages 491-506, Elsevier, 1997.
@inproceedings{Ammar-BoudjelalLL97,
title = {Specifying the steam-boiler case study with SDL},
author = {F. Ammar-Boudjelal and Jean-Yves Lafaye and Georges Louis},
year = {1997},
tags = {case study},
researchr = {https://researchr.org/publication/Ammar-BoudjelalLL97},
cites = {0},
citedby = {0},
pages = {491-506},
booktitle = {SDL 97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings},
editor = {Ana R. Cavalli and Amardeo Sarma},
publisher = {Elsevier},
}