Red de Bibliotecas Virtuales de Ciencias Sociales en
América Latina y el Caribe
Por favor, use este identificador para citar o enlazar este ítem:
https://biblioteca-repositorio.clacso.edu.ar/handle/CLACSO/273480| Título : | Exploring Specification Pattern based Behavioral Synthesis with Scenario Clauses |
| URI : | https://biblioteca-repositorio.clacso.edu.ar/handle/CLACSO/273480 |
| Otros identificadores : | https://undavdigital.undav.edu.ar/xmlui/handle/20.500.13069/3498 |
| Aparece en las colecciones: | Departamento de Ciencias Sociales - DCSUNDAV - Cosecha |
Ficheros en este ítem:
No hay ficheros asociados a este ítem.
Los ítems de DSpace están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.