Characteristic Patterns for LTL.

Antonn Kucera, Jan Strejcek

Browse the full SOFSEM paper archive.