Scilingo, G., Novaira, M. M., & Degiovanni, R. G. (2014). Analyzing Behavioural Scenarios over Tabular Specifications Using Model Checking. Web
Citación estilo ChicagoScilingo, Gaston, Maria Marta Novaira, and Renzo Gastón Degiovanni. Analyzing Behavioural Scenarios Over Tabular Specifications Using Model Checking. 2014.
Cita MLAScilingo, 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.