On model-checking for fragments of μ-calculus
… Aided Verification: 5th International Conference, CAV' …, 1993 - Springer
In this paper we considered two different fragments of μ-calculus, logics L 1 and L 2. We
gave model checking algorithms for logics L 1 and L 2 which are of complexity O (m 2 n) …
gave model checking algorithms for logics L 1 and L 2 which are of complexity O (m 2 n) …
[PDF][PDF] On model-checking for fragments of t-calculus
EA Emerson, CS Jutla, AP Sistla - academia.edu
In this paper we consider the problem of model checking for different fragments of
propositional#-Calculus. This logic was studied by many authors [4, 8] for specifying the …
propositional#-Calculus. This logic was studied by many authors [4, 8] for specifying the …
On model-checking for fragments of μ-calculus
EA Emerson, CS Jutla, AP Sistla - Computer Aided Verification - infona.pl
In this paper we considered two different fragments of μ-calculus, logics L 1 and L 2. We
gave model checking algorithms for logics L 1 and L 2 which are of complexity O (m 2 n) …
gave model checking algorithms for logics L 1 and L 2 which are of complexity O (m 2 n) …
[PDF][PDF] On model-checking for fragments of-calculus
EA Emerson, AP Sistla - 1995 - researchgate.net
In this paper we consider the problem of modelchecking for di erent fragments of
propositional-calculus. This logic was studied by many authors 6, 9] for specifying the …
propositional-calculus. This logic was studied by many authors 6, 9] for specifying the …
[引用][C] On model-checking for fragments of μ-calculus
EA EMERSON - Proc. 5th CAV, 1993 - cir.nii.ac.jp
[PDF][PDF] On model-checking for fragments of-calculus
EA Emerson, AP Sistla - 1995 - cc.ee.ntu.edu.tw
In this paper we consider the problem of modelchecking for di erent fragments of
propositional-calculus. This logic was studied by many authors 6, 9] for specifying the …
propositional-calculus. This logic was studied by many authors 6, 9] for specifying the …
[PDF][PDF] On model-checking for fragments of-calculus
EA Emerson, AP Sistla - 1995 - Citeseer
In this paper we consider the problem of modelchecking for di erent fragments of
propositional-calculus. This logic was studied by many authors 6, 9] for specifying the …
propositional-calculus. This logic was studied by many authors 6, 9] for specifying the …
[PS][PS] On model-checking for fragments of-calculus
EA Emerson, CS Jutla, AP Sistla - cs.utexas.edu
In this paper we consider the problem of model checking for di erent fragments of
propositional-calculus. This logic was studied by many authors 4, 8] for specifying the …
propositional-calculus. This logic was studied by many authors 4, 8] for specifying the …
[引用][C] On Model-Checking for Fragments of µ-Calculus
EA Emerson, CS Jutla, AP Sistla - … of the 5th International Conference on …, 1993 - dl.acm.org
On Model-Checking for Fragments of µ-Calculus | Proceedings of the 5th International
Conference on Computer Aided Verification skip to main content ACM Digital Library home …
Conference on Computer Aided Verification skip to main content ACM Digital Library home …
On model-checking for fragments of µ-calculus
EA Emerson¹, CS Jutla, AP Sistla - … Greece, June 28-July 1, 1993 …, 1993 - books.google.com
In this paper we consider the problem of model checking for different fragments of
propositional μ-calculus. This logic was studied by many authors [4, 8] for specifying the …
propositional μ-calculus. This logic was studied by many authors [4, 8] for specifying the …