Navegar

Colección

Datos Estadísticas

Lista de

2010
1145
Formal Aspects of Computing
1
"Deriving non-Zeno behaviour models from goal models using ILP" (2010) Alrajeh, D.; Kramer, J.; Russo, A.; Uchitel, S. Formal Aspects of Computing. 22(3-4):217-241