Real-time MTL with durations as SMT with applications to schedulability analysis.

Andr de Matos Pedro, Martin Leucker, David Pereira, Jorge Sousa Pinto

Browse the full TASE paper archive.