On a Temporal Logic of Prefixes and Infixes.

Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala

Browse the full MFCS paper archive.