Navegar

Colección

Datos Estadísticas

Lista de

2011
1352
27th International Conference on Logic Programming, ICLP 2011
1
"An Inductive approach for modal transition system refinement" (2011) Alrajeh, D.; Kramer, J.; Russo, A.; Uchitel, S. 27th International Conference on Logic Programming, ICLP 2011. 11:106-116