The ‘Good, Bad, and Ugly’ of LTL

Satish Jindel  •  JOC