Navegar

Colección

Datos Estadísticas

Lista de

Formal Aspects of Computing
2
2010
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