Automata-Based Refinement Checking for Real-Time Systems

Christian Brenner, Christian Heinzemann, Wilhelm Schäfer, Stefan Henkler. Automata-Based Refinement Checking for Real-Time Systems. In Stefan Kowalewski, Bernhard Rumpe, editors, Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar - 2. März 2013 in Aachen. Volume 213 of LNI, pages 99-112, GI, 2013.

Abstract

Abstract is missing.