Using DimSpec for Bounded and Unbounded Software Model Checking.

Marko Kleine Bning, Toms Balyo, Carsten Sinz

Browse the full ICFEM paper archive.