338 followers
RT @vardi: From Linear Temporal Logics to Büchi Automata: The Early and Simple Principle https://t.co/HrDBocJDDv
RT @vardi: From Linear Temporal Logics to Büchi Automata: The Early and Simple Principle https://t.co/HrDBocJDDv
RT @vardi: From Linear Temporal Logics to Büchi Automata: The Early and Simple Principle https://t.co/HrDBocJDDv
RT @vardi: From Linear Temporal Logics to Büchi Automata: The Early and Simple Principle https://t.co/HrDBocJDDv
From Linear Temporal Logics to Büchi Automata: The Early and Simple Principle https://t.co/HrDBocJDDv