Return to Article Details Extended Temporal Logic on Finite Words and Wreath Product of Monoids with Distinguished Generators Download Download PDF