Abstraction from Counters: An Application on Real-Time Systems

George Logothetis, Klaus Schneider. Abstraction from Counters: An Application on Real-Time Systems. In 2000 Design, Automation and Test in Europe (DATE 2000), 27-30 March 2000, Paris, France. pages 486-493, IEEE Computer Society, 2000. [doi]

Abstract

Abstract is missing.