Publications

Symbolic model checking of multi-modal logics: uniform strategies and rich explanations

Password required

Name:
Password: