- Artículo:
Formal Specification and Analysis of Domain Specific Models Using Maude
- Autor:
José E. Rivera
Francisco Durán
Antonio Vallecillo
- Página:
778
- Publicación:
Simulation
- Volúmen:
85
- Número:
11
- Periodo:
noviembre 2009
- ISSN:
00375497
- SrcID:
00375497-2009-11.txt
- Documento número 1356946
- Actualizado el martes, 10 de julio de 2018 11:50:23 a. m.
- Creado el martes, 10 de julio de 2018 11:50:23 a. m.
- Enlace directo
