Model Checking Aspect-Oriented Design Specification.

Dianxiang Xu, Izzat Alsmadi, Weifeng Xu

Browse the full COMPSAC paper archive.