LTL Path Checking Is Efficiently Parallelizable.

Lars Kuhtz, Bernd Finkbeiner

Browse the full ICALP paper archive.