Approximate Completed Trace Equivalence of ILAHSs Based on SAS Solving.

Honghui He Jinzhao Wu Juxia Xiong

Published in: Inf. (2019)

Keyphrases

exact solution
real time
information systems
decision making
data mining
social networks
knowledge base
case study
multiscale
timetabling problem