Efficient Local Correctness Checking for Single and Alternating Boolean Equation Systems.

Bart Vergauwen, Johan Lewi

Browse the full ICALP paper archive.