Strong Termination for Gap-Order Constraint Abstractions of Counter Systems

Abstract

ions of counter systems Outline 
DOI: 10.1007/978-3-642-28332-1_14
View Slides