S. Gurumurthy, R. Bloem, and F. Somenzi. Fair simulation minimization. In Computer Aided Verification, Proc. 14th International Conference, volume 2404 of Lecture Notes in Computer Science, pages 610--623. Springer-Verlag, 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Automata-Theoretic Model Checking Revisited - Vardi (Correct)
No context found.
S. Gurumurthy, R. Bloem, and F. Somenzi. Fair simulation minimization. In Computer Aided Verification, Proc. 14th International Conference, volume 2404 of Lecture Notes in Computer Science, pages 610--623. Springer-Verlag, 2002.
Büchi Complementation: A Forty-Year Saga - Vardi (2006) (Correct)
No context found.
S. Gurumurthy, R. Bloem, and F. Somenzi. Fair simulation minimization. In Computer Aided Verification, Proc. 14th International Conference, volume 2404 of Lecture Notes in Computer Science, pages 610--623. Springer-Verlag, 2002.
Complementation Constructions for Nondeterministic Automata.. - Kupferman, Vardi (2005) (Correct)
No context found.
S. Gurumurthy, R. Bloem, and F. Somenzi. Fair simulation minimization. In Proc. 14th CAV, LNCS 2404, pages 610--623, 2002.
Symbolic Systems, Explicit Properties: on Hybrid.. - Sebastiani, Tonetta.. (Correct)
No context found.
S. Gurumurthy, R. Bloem, and F. Somenzi. Fair Simulation Minimization. In CAV, pp 610-- 624, 2002.
Büchi Complementation Made Tighter - Friedgut, Kupferman, Vardi (2004) (Correct)
No context found.
S. Gurumurthy, R. Bloem, and F. Somenzi. Fair simulation minimization. In Computer Aided Veri cation, Proc. 14th International Conference, volume 2404 of Lecture Notes in Computer Science, pages 610-623. Springer-Verlag, 2002.
Nested Emptiness Search for Generalized Büchi Automata - Tauriainen (2003) (Correct)
No context found.
S. Gurumurthy, R. Bloem, and F. Somenzi. Fair simulation minimization. In Proc. 14th Int. Conf. on Computer Aided Verification (CAV'02), volume 2404 of Lecture Notes in Computer Science, pages 610--624. Springer-Verlag, 2002.
On Translating Linear Temporal Logic into Alternating and.. - Tauriainen (2003) (3 citations) (Correct)
No context found.
S. Gurumurthy, F. Somenzi, and R. Bloem. Fair simulation minimization. In Proceedings of the 14th International Conference on Computer Aided Verification (CAV 2002.
Constructing Büchi Automata from Linear Temporal Logic Using.. - Fritz (2003) (Correct)
No context found.
S. Gurumurthy, R. Bloem, and F. Somenzi. Fair simulation minimization. In E. Brinksma and K. Guldstrand Larsen, eds., Computer Aided Verification. 14th International Conference, CAV 2002, vol. 2404 of LNCS,
State Space Reductions for Alternating Büchi Automata.. - Fritz, Wilke (2002) (Correct)
No context found.
Sankar Gurumurthy, Roderick Bloem, and Fabio Somenzi. Fair simulation minimization. CAV 2002, to appear.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC