Proofs Methods for Bisimulation Based Information Flow Security
VMCAI '02 Revised Papers from the Third International Workshop on Verification, Model Checking, and Abstract Interpretation
Parameterised boolean equation systems
Theoretical Computer Science - Formal methods for components and objects
A modal fixpoint logic with chop
STACS'99 Proceedings of the 16th annual conference on Theoretical aspects of computer science
Model checking in the modal µ-calculus and generic solutions
Journal of Symbolic Computation
Solving parity games by a reduction to SAT
Journal of Computer and System Sciences
Model checking adaptive multilevel service compositions
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
| Hi-index | 0.00 |