Automated Verification of Executable UML Models

MLA

Aichernig, B. K., et al. Automated Verification of Executable UML Models. 2012. EBSCOhost, widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsoai&AN=edsoai.on1251874411&authtype=sso&custid=ns315887.

APA

Aichernig, B. K., Boer, F. S. (Frank) de, Bonsangue, M. M. (Marcello), Hansen, H. H. (Helle), Ketema, J., Luttik, S. P. (Bas), Mousavi, M. R., Pol, J. C. (Jaco) van de, & Santos, O. (Osmar) M. dos. (2012). Automated Verification of Executable UML Models.

Chicago

Aichernig, B.K., F.S. (Frank) de Boer, M.M. (Marcello) Bonsangue, H.H. (Helle) Hansen, J. Ketema, S.P. (Bas) Luttik, M.R. Mousavi, J.C. (Jaco) van de Pol, and O. (Osmar) Marchi dos Santos. 2012. “Automated Verification of Executable UML Models.” http://widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsoai&AN=edsoai.on1251874411&authtype=sso&custid=ns315887.