Computing All Facts Entailed By An LTL Specification.

Przemyslaw Andrzej Walega, Michal Zawidzki, Christoph Haase

Browse the full KR paper archive.