HOME
Technical Reports
Technical Reports
Laura Bozzelli.
Strong termination for gap-order constraint abstractions of counter systems.
2011. An abstract version of this paper has been submitted to conference.