Efficient local model-checking for fragments of the modal μ-calculus

G Bhat, R Cleaveland - International Workshop on Tools and Algorithms …, 1996 - Springer
This paper develops efficient local model-checking algorithms for expressive fragments of
the modal Μ-calculus. The time complexity of our procedures matches that of the best …
被引用次数：76 相关文章

[引用][C] Efficent Local Model-Checking for Fragments of teh Modal µ-Calculus

G Bhat, R Cleaveland - … of the Second International Workshop on Tools …, 1996 - dl.acm.org
Efficent Local Model-Checking for Fragments of teh Modal µ-Calculus | Proceedings of the
Second International Workshop on Tools and Algorithms for Construction and Analysis of …

Efficient local model-checking for fragments of the modal Μ-calculus

G Bhat, R Cleaveland - Tools and Algorithms for the Construction and Analysis … - infona.pl
This paper develops efficient local model-checking algorithms for expressive fragments of
the modal Μ-calculus. The time complexity of our procedures matches that of the best …

Efficient Local Model-Checking for Fragments of the Modal μ-Calculus

G Bhat, R Cleaveland - Tools and Algorithms for the Construction …, 1996 - books.google.com
This paper develops efficient local model-checking algorithms for expressive fragments of
the modal μ-calculus. The time complexity of our procedures matches that of the best …

[引用][C] Efficient local model-checking for fragments of the modal Μ-calculus

G Bhat, R Cleaveland - Tools and Algorithms for the Construction and …, 1996 - Springer