EasyChair Smart Slide
Temporal Prophecy for Proving Temporal Properties of Infinite-State Systems
Temporal Prophecy for Proving Temporal Properties of Infinite-State Systems