共 34 条
- [32] A Uniform Approach to Three-Valued Semantics for μ-Calculus on Abstractions of Hybrid Automata HARDWARE AND SOFTWARE: VERIFICATION AND TESTING, PROCEEDINGS, 2009, 5394 : 38 - 52
- [34] Coloring non-uniform hypergraphs: A new algorithmic approach to the general Lovasz Local Lemma PROCEEDINGS OF THE ELEVENTH ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS, 2000, : 30 - 39