WebMC : a model checker for the Web
| dc.audience.educationlevel | Investigadores/Researchers | |
| dc.contributor | Monroy Borja, Raúl | |
| dc.contributor | Hunter, Dieter | |
| dc.contributor | Raúl Monroy Borja | |
| dc.contributor | Dieter Hunter | |
| dc.contributor.author | Ferman, Víctor | |
| dc.creator | MONROY BORJA, RAUL; 12232 | es_MX |
| dc.date.accessioned | 2018-05-07T15:01:25Z | |
| dc.date.available | 2018-05-07T15:01:25Z | |
| dc.date.issued | 2016 | |
| dc.format.medium | Texto | es_MX |
| dc.identificator | 7 | |
| dc.identificator | 33 | |
| dc.identificator | 3304 | |
| dc.identificator | 330417 | |
| dc.identifier.uri | http://hdl.handle.net/11285/628705 | |
| dc.language.iso | eng | |
| dc.publisher | Instituto Tecnológico y de Estudios Superiores de Monterrey | |
| dc.relation.isFormatOf | versión publicada | es_MX |
| dc.relation.isreferencedby | REPOSITORIO NACIONAL CONACYT | |
| dc.rights | openAccess | |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0 | * |
| dc.subject | Protocolo de redes de computadoras | |
| dc.subject | World Wide Web | |
| dc.subject.classification | INGENIERÍA Y TECNOLOGÍA; CIENCIAS TECNOLÓGICAS; TECNOLOGÍA DE LOS ORDENADORES; SISTEMAS EN TIEMPO REAL | es_MX |
| dc.subject.lcsh | Tecnología / Technology | |
| dc.title | WebMC : a model checker for the Web | |
| dc.type | Tesis de doctorado | |
| refterms.dateFOA | 2018-05-07T15:01:25Z | |
| thesis.degree.level | Doctor in Computer Science | |
| thesis.degree.program | Campus Estado de México |
Files
Original bundle
1 - 1 of 1