EasyChair Smart Slide
Certifying Proofs for LTL Model Checking
Certifying Proofs for LTL Model Checking