TY  - GEN
AU  - Regis,Germán E.
TI  - Verificación de propiedades temporales de diseños CommUnity: Un caso de estudio
ER  -