Checking for CFFD-Preorder with Tester Processes.

Juhana Helovuo, Antti Valmari

Browse the full TACAS paper archive.