Compositional Verification of UML Dynamic Models.

Wei Dong, Ji Wang, Zhichang Qi, Ni Rong

Browse the full APSEC paper archive.