Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri Net Analyzer.

Zhanqi Cui, Linzhang Wang, Xi Liu, Lei Bu, Jianhua Zhao, Xuandong Li

Browse the full SEKE paper archive.