Querying and Splitting Techniques for SBA: A Model Checking Based Approach.

Yahia Chabane, Franois Hantry, Mohand-Said Hacid

Browse the full ISMIS paper archive.