Model Checking Linear Properties of Prefix-Recognizable Systems.

Orna Kupferman, Nir Piterman, Moshe Y. Vardi

Browse the full CAV paper archive.