D'Orso, J., & Touili, T. (2006). Regular hedge model checking. Web
Citación estilo ChicagoD'Orso, Julien, and Tayssir Touili. Regular Hedge Model Checking. 2006.
Cita MLAD'Orso, Julien, and Tayssir Touili. Regular Hedge Model Checking. 2006.
Precaución: Estas citas no son 100% exactas.