Applying CEGAR to the Petri Net State Equation.

Harro Wimmel, Karsten Wolf

Browse the full TACAS paper archive.