Navegar

Colección

Datos Estadísticas

Lista de

27th International Conference on Logic Programming, ICLP 2011
1
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