D'Orso, J., & Touili, T. (2006). Regular hedge model checking.
Cita Chicago Style (17a ed.)D'Orso, Julien, y Tayssir Touili. Regular Hedge Model Checking. 2006.
Cita MLA (8a ed.)D'Orso, Julien, y Tayssir Touili. Regular Hedge Model Checking. 2006.
Precaución: Estas citas no son 100% exactas.