OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Bourbouh, Hamza"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 2.

Conference or Workshop Item

Bourbouh, Hamza and Garoche, Pierre-Loïc and Garion, Christophe and Gurfinkel, Arie and Kahsai, Temesghen and Thirioux, Xavier. Automated analysis of Stateflow models. (2017) In: 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2017), 7 May 2017 - 12 May 2017 (Maun, Botswana).

Bourbouh, Hamza and Garoche, Pierre-Loic and Garion, Christophe and Gurfinkel, Arie and Temesghen, Kahsai and Thirioux, Xavier. Automated analysis of Stateflow models. (2017) In: 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-21), 7 May 2017 - 12 May 2017 (Maun, Botswana).

This list was generated on Sun Aug 9 00:22:18 2020 CEST.