dc.contributor | Rosenblueth Laguette, David Arturo | |
dc.contributor | Solar Lezama, Armando | |
dc.creator | Galicia Mendoza, Fernando Abigail | |
dc.date.accessioned | 2023-06-22T22:41:18Z | |
dc.date.available | 2023-06-22T22:41:18Z | |
dc.date.issued | 2021 | |
dc.identifier | https://ru.dgb.unam.mx/handle/DGB_UNAM/TES01000806422 | |
dc.identifier | https://tesiunam.dgb.unam.mx/F?func=direct¤t_base=TES01&doc_number=000806422 | |
dc.identifier.uri | https://repositorioslatinoamericanos.uchile.cl/handle/2250/6793879 | |
dc.language | eng | |
dc.rights | http://creativecommons.org/licenses/by-nc-nd/4.0 | |
dc.rights | Acceso en línea sin restricciones | |
dc.title | ReCipe : a program synthesizer based on model checking for temporal logics | |
dc.type | Tesis de maestría | |
dc.type | publishedVersion | |