Cita APA

D'Orso, J., & Touili, T. (2006). Regular hedge model checking. Web

Citación estilo Chicago

D'Orso, Julien, and Tayssir Touili. Regular Hedge Model Checking. 2006.

Cita MLA

D'Orso, Julien, and Tayssir Touili. Regular Hedge Model Checking. 2006.

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