Model-Driven Trace Diagnostics for Pattern-based Temporal Specifications

MLA

Interdisciplinary Centre for Security, Reliability and Trust (SnT) >.Software Verification and Validation Lab (SVV Lab) [research center], et al. Model-Driven Trace Diagnostics for Pattern-Based Temporal Specifications. 2018. 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.on1250193263&authtype=sso&custid=ns315887.

APA

Interdisciplinary Centre for Security, R. and T. (SnT) > S. V. and V. L. (SVV L. [research center], University of Luxembourg - UL [sponsor], Fonds National de la Recherche - FnR [sponsor], European Commission - EC [sponsor], Dou, W., Bianculli, D., & Briand, L. (2018). Model-Driven Trace Diagnostics for Pattern-based Temporal Specifications.

Chicago

Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab) [research center], University of Luxembourg - UL [sponsor], Fonds National de la Recherche - FnR [sponsor], European Commission - EC [sponsor], Wei Dou, Domenico Bianculli, and Lionel Briand. 2018. “Model-Driven Trace Diagnostics for Pattern-Based Temporal Specifications.” 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.on1250193263&authtype=sso&custid=ns315887.