Approximation to Linear Algebraic Transition System. - Zhiwei Zhang; Jin-Zhao Wu; Hao Yang 051 (ICIC (3), 2012)

Approximate Completed Trace Equivalence of Linear Algebra Transition Systems. - Hao Yang 051; Anping He; Zhiwei Zhang; Shihan Yang; Yang Liu (BIC-TA, 2013)