@inproceedings{dumas:hal-00517271, TITLE = {{Mod{\'e}lisation de Contextes et R{\'e}duction d'Ordres-Partiel pour la V{\'e}rification Efficace de Syst{\`e}mes SDL}}, AUTHOR = {Dumas, Xavier and Boniol, Fr{\'e}d{\'e}ric and Dhaussy, Philippe and Bonnafous, Eric}, URL = {https://hal.science/hal-00517271}, BOOKTITLE = {{Conf{\'e}rence Approches Formelles dans l'Assistance au D{\'e}veloppement de Logiciels (AFADL'10), Poitiers-Futuroscope, 09-11}}, ADDRESS = {Poitiers, France}, PAGES = {Non renseigne}, YEAR = {2010}, MONTH = Jun, HAL_ID = {hal-00517271}, HAL_VERSION = {v1}, }