DMCA

Automated Verification of Executable UML Models (2010)

Cached

Download Links

by Helle Hvid Hansen , Jeroen Ketema , Bas Luttik , Mohammadreza Mousavi , Jaco Van De Pol , Osmar Marchi dos Santos