Nr. 47 (2002): RS-47 Extended Temporal Logic on Finite Words and Wreath Product of Monoids with Distinguished Generators

Publiceret: 2002-06-17