Efficient on-the-fly model-checking for regular alternation-free mu-calculus
Science of Computer Programming - Special issure on formal methods for industrial critical systems (FMICS 2000)
Efficient model checking via the equational /spl mu/-calculus
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Mathematical modal logic: a view of its evolution
Journal of Applied Logic
Quasi-star-free languages on infinite words
Acta Cybernetica
Theoretical Computer Science
State/Event software verification for branching-time specifications
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Hi-index | 0.00 |