Model checking software architecture specifications in SAM.

Xudong He, Junhua Ding, Yi Deng

Browse the full SEKE paper archive.