Temporal Stream Logic modulo Theories.

Bernd Finkbeiner, Philippe Heim, Noemi Passing

Browse the full FOSSACS paper archive.