Model Checking for an Executable Subset of UML.

Mon, 01 Jan 2001 00:00:00 +0100

Fei Xie, Vladimir Levin, James C. Browne:
Model Checking for an Executable Subset of UML. ASE 2001: 333-336