@inproceedings{ballarini:hal-02194937, TITLE = {{Analysis of business process specifications with OpenAltarica}}, AUTHOR = {Ballarini, Paolo and Batteux, Michel and Chartier, Leo and Rauzy, Antoine}, URL = {https://centralesupelec.hal.science/hal-02194937}, BOOKTITLE = {{2018 IEEE International Systems Engineering Symposium (ISSE)}}, ADDRESS = {Rome, Italy}, PUBLISHER = {{IEEE}}, YEAR = {2018}, MONTH = Oct, DOI = {10.1109/syseng.2018.8544458}, HAL_ID = {hal-02194937}, HAL_VERSION = {v1}, }