Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone. The FC2TOOLS Set. In Rajeev Alur, Thomas A. Henzinger, editors, Computer Aided Verification, 8th International Conference, CAV 96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings. Volume 1102 of Lecture Notes in Computer Science, pages 441-445, Springer, 1996.
@inproceedings{BoualiRRS96:0,
title = {The FC2TOOLS Set},
author = {Amar Bouali and Annie Ressouche and Valérie Roy and Robert de Simone},
year = {1996},
researchr = {https://researchr.org/publication/BoualiRRS96%3A0},
cites = {0},
citedby = {0},
pages = {441-445},
booktitle = {Computer Aided Verification, 8th International Conference, CAV 96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings},
editor = {Rajeev Alur and Thomas A. Henzinger},
volume = {1102},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-61474-5},
}