Finite satisfiability of interval temporal logic formulas with multi-objective metaheuristics
- Bresolin, D.
- Jiménez, F.
- Sánchez, G.
- Sciavicco, G.
ISSN: 1542-3980
Ano de publicación: 2017
Volume: 28
Número: 2-3
Páxinas: 217-249
Tipo: Artigo
ISSN: 1542-3980
Ano de publicación: 2017
Volume: 28
Número: 2-3
Páxinas: 217-249
Tipo: Artigo