Towards an automata-theoretic counterpart of combined temporal logics

FRANCESCHET, Massimo

MONTANARI, Angelo