Cita APA

Asteasuain, F., & Tarulla, F. (2017). Exploring Architectural Model Checking with Declarative Specifications. Web

Citación estilo Chicago

Asteasuain, Fernando, and Francisco Tarulla. Exploring Architectural Model Checking With Declarative Specifications. 2017.

Cita MLA

Asteasuain, Fernando, and Francisco Tarulla. Exploring Architectural Model Checking With Declarative Specifications. 2017.

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