@inproceedings{dumas:hal-00635533, TITLE = {{Application of partial-order methods for the verification of closed-loop SDL systems}}, AUTHOR = {Dumas, Xavier and Boniol, Fr{\'e}d{\'e}ric and Dhaussy, Philippe and Bonnafous, Eric}, URL = {https://ensta-bretagne.hal.science/hal-00635533}, BOOKTITLE = {{SAC'11 - 26th Symposium On Applied Computing}}, ADDRESS = {TaiChung, Taiwan}, PAGES = {ACM 978-1-4503-0113-8/11/03}, YEAR = {2011}, MONTH = Mar, KEYWORDS = {Partial-order methods ; asynchronous systems veri cation}, HAL_ID = {hal-00635533}, HAL_VERSION = {v1}, }