dor_id: 3617135

506.#.#.a: Público

502.#.#.a: Maestría

561.#.#.u: https://ru.dgb.unam.mx

650.#.4.x: Físico Matemáticas y Ciencias de la Tierra

336.#.#.b: master thesis

336.#.#.3: Tesis de maestría

336.#.#.a: Trabajo de grado

351.#.#.6: https://ru.dgb.unam.mx/handle/DGB_UNAM/3

351.#.#.b: TESIUNAM

351.#.#.a: Tesis

harvesting_group: TesiUNAM

270.1.#.p: bidi@dgb.unam.mx

590.#.#.c: DSpace

270.#.#.d: MX

270.1.#.d: México

590.#.#.b: Concentrador

883.#.#.u: https://ru.dgb.unam.mx

883.#.#.a: Repositorio de la Dirección General de Bibliotecas y Servicios Digitales de Información

590.#.#.a: Administración Central

883.#.#.1: https://www.dgb.unam.mx

883.#.#.q: Dirección General de Bibliotecas y Servicios Digitales de Información, UNAM

850.#.#.a: Universidad Nacional Autónoma de México

856.4.0.u: http://132.248.9.195/ptd2021/enero/0806422/Index.html

100.1.#.a: Galicia Mendoza, Fernando Abigail

100.1.#.0: Galicia Mendoza, Fernando Abigail::si::SinIdentificador

524.#.#.a: Galicia Mendoza, Fernando Abigail (2021). ReCipe: a program synthesizer based on model checking for temporal logics. Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas, UNAM. Recuperado de https://repositorio.unam.mx/contenidos/3617135

720.#.#.a: Rosenblueth Laguette, David Arturo; Solar Lezama, Armando

245.1.0.a: ReCipe: a program synthesizer based on model checking for temporal logics

502.#.#.b: Maestría en Ciencia e Ingeniería de la Computación

502.#.#.c: Universidad Nacional Autónoma de México

561.1.#.a: Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas, UNAM

264.#.0.c: 2021

264.#.1.c: 2021

506.1.#.a: La titularidad de los derechos patrimoniales de esta obra pertenece a Galicia Mendoza, Fernando Abigail. Su uso se rige por una licencia Creative Commons BY-NC-ND 4.0 Internacional, https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode.es, fecha de asignación de la licencia 2021-12-29, para un uso diferente consultar al responsable jurídico del repositorio en bidi@dgb.unam.mx

884.#.#.k: https://ru.dgb.unam.mx/handle/DGB_UNAM/TES01000806422

001.#.#.#: oai:ru.dgb.unam.mx:DGB_UNAM/TES01000806422

720.#.#.0: Rosenblueth Laguette, David Arturo::si::SinIdentificador::role::asesorTesis; Solar Lezama, Armando::si::SinIdentificador::role::asesorTesis

041.#.7.h: eng

046.#.#.j: 2021-12-29 13:40:48.26

300.#.#.a: 86 páginas

533.#.#.b: MX

599.#.#.a: Programa de Posgrado en Ciencia e Ingeniería de la Computación

harvesting_date: 2022-05-24 12:00:00.0

856.#.0.q: application/pdf

file_name: 0cae5eaf04adddbcd88ab6d9344c7529958be215e26a55573eadfb8dde6d71b3.pdf

file_pages_number: 87

file_format_version: application/pdf; version=1.7

file_size: 1306868

last_modified: 2022-11-16 18:00:00

license_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode.es

license_type: by-nc-nd

No entro en nada

No entro en nada 2