共 50 条
- [41] Lower bounds and parameterized approach for longest common subsequence COMPUTING AND COMBINATORICS, PROCEEDINGS, 2006, 4112 : 136 - 145
- [42] Robust H∞ stabilization via parameterized Lyapunov bounds IEEE Trans Autom Control, 2 (243-248):
- [47] Parameterized verification of communicating automata under context bounds Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8762 : 45 - 57