A Temporal Logic for Input Output Symbolic Transition Systems.

Marc Aiguier, Pascale Le Gall, Delphine Longuet, Assia Touil

Browse the full APSEC paper archive.