Cita APA

Scilingo, G., Novaira, M. M., & Degiovanni, R. G. (2014). Analyzing Behavioural Scenarios over Tabular Specifications Using Model Checking. Web

Citación estilo Chicago

Scilingo, Gaston, Maria Marta Novaira, and Renzo Gastón Degiovanni. Analyzing Behavioural Scenarios Over Tabular Specifications Using Model Checking. 2014.

Cita MLA

Scilingo, Gaston, Maria Marta Novaira, and Renzo Gastón Degiovanni. Analyzing Behavioural Scenarios Over Tabular Specifications Using Model Checking. 2014.

Precaución: Estas citas no son 100% exactas.