User menu

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

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