Automated analysis of Stateflow models.

Hamza Bourbouh, Pierre-Loc Garoche, Christophe Garion, Arie Gurfinkel, Temesghen Kahsai, Xavier Thirioux

Browse the full LPAR paper archive.