Asteasuain, F., & Tarulla, F. (2017). Exploring Architectural Model Checking with Declarative Specifications.
Cita Chicago Style (17a ed.)Asteasuain, Fernando, y Francisco Tarulla. Exploring Architectural Model Checking with Declarative Specifications. 2017.
Cita MLA (8a ed.)Asteasuain, Fernando, y Francisco Tarulla. Exploring Architectural Model Checking with Declarative Specifications. 2017.
Precaución: Estas citas no son 100% exactas.