I/O Efficient Accepting Cycle Detection.

Jiri Barnat, Lubos Brim, Pavel Simecek

Browse the full CAV paper archive.