A Complete Deductive System for the µ-Calculus (1995)

by Igor Walukiewicz
Citations:15 - 0 self

Active Bibliography

888 Dynamic Logic – David Harel, Dexter Kozen, Jerzy Tiuryn - 1984
2675 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
54 Games for the µ-Calculus – Damian Niwinski, Igor Walukiewicz
648 Symbolic Model Checking: 10^20 States and Beyond – J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, L. J. Hwang - 1992
770 Symbolic Model Checking without BDDs – Armin Biere , Alessandro Cimatti, Edmund Clarke, Yunshan Zhu - 1999
1177 Temporal and modal logic – E. Allen Emerson - 1995
859 The Temporal Logic of Actions – Leslie Lamport - 1993
658 The algorithmic analysis of hybrid systems – R. Alur, C. Courcoubetis, N. Halbwachs , T. A. Henzinger, P.-H. Ho, X. Nicollin , A. Olivero , J. Sifakis , S. Yovine - 1995
701 A formal basis for architectural connection – Robert Allen, David Garlan - 1997