User menu

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

  • Open access
  • PDF
  • 1.68 M
Bibliographic reference Busard, Simon. Symbolic model checking of multi-modal logics : uniform strategies and rich explanations.  Prom. : Pecheur, Charles
Permanent URL http://hdl.handle.net/2078.1/186372