Implementing temporal logic queries with PyNuSMV

Bibliographic reference Thibert, Simon. Implementing temporal logic queries with PyNuSMV. Ecole polytechnique de Louvain, Université catholique de Louvain, 2015. Prom. : Pecheur, Charles.
Permanent URL http://hdl.handle.net/2078.1/thesis:3086