EasyChair Smart Slide
Little Tricky Logic: Misconceptions in the Understanding of LTL
Little Tricky Logic: Misconceptions in the Understanding of LTL