Zhanqi Cui, Linzhang Wang, Xi Liu, Lei Bu, Jianhua Zhao, Xuandong Li
Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri Net Analyzer
SEKE, 2012.
@inproceedings{SEKE-2012-CuiWLBZL,
author = "Zhanqi Cui and Linzhang Wang and Xi Liu and Lei Bu and Jianhua Zhao and Xuandong Li",
booktitle = "{Proceedings of the 24th International Conference on Software Engineering and Knowledge Engineering}",
isbn = "1-891706-31-4",
pages = "369--374",
publisher = "{Knowledge Systems Institute Graduate School}",
title = "{Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri Net Analyzer}",
year = 2012,
}