Name Last modified Size Parent Directory - temporal-logic.ins 2024-10-17 21:16 1.5K temporal-logic.dtx 2024-10-17 21:16 20K temporal-logic-doc.pdf 2024-10-17 21:16 525K