Temporal Logics with Language Parameters.

Jens Oliver Gutsfeld, Markus Mller-Olm, Christian Dielitz

Browse the full LATA paper archive.