Finite Satisfiability of Interval Temporal Logic Formulas with Multi-Objective Metaheuristics

    Multiple-Valued Logic and Soft Computing, Volume 28, Issue 2-3, 2017, Pages 217-249.

    Cited by: 0|Bibtex|Views0|Links
    EI

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments