Finite satisfiability of interval temporal logic formulas with multi-objective metaheuristics

  1. Bresolin, D.
  2. Jiménez, F.
  3. Sánchez, G.
  4. Sciavicco, G.
Zeitschrift:
Journal of Multiple-Valued Logic and Soft Computing

ISSN: 1542-3980

Datum der Publikation: 2017

Ausgabe: 28

Nummer: 2-3

Seiten: 217-249

Art: Artikel

GOOGLE SCHOLAR
Datenquelle: Scopus