Navegar

Colección

Datos Estadísticas

Lista de

TACO
4
"Practical JFSL verification using TACO" (2014) Chicote, M.; Ciolek, D.; Galeotti, J.P. Software - Practice and Experience. 44(3):317-334
"Practical JFSL verification using TACO" (2014) Chicote, M.; Ciolek, D.; Galeotti, J.P. Software - Practice and Experience. 44(3):317-334
"TacoPlug: An eclipse plug-in for TACO" (2012) Chicote, M.; Galeotti, J.P. 2012 2nd International Workshop on Developing Tools as Plug-Ins, TOPI 2012:37-42
"TacoPlug: An eclipse plug-in for TACO" (2012) Chicote, M.; Galeotti, J.P. 2012 2nd International Workshop on Developing Tools as Plug-Ins, TOPI 2012:37-42