Specifying UML Protocol State Machines in Alloy.

Ana Gabriela Garis, Ana C. R. Paiva, Alcino Cunha, Daniel Riesco

Browse the full IFM paper archive.