Items where Author is "Kupferschmid, Sebastian"
Jump to: Yes Number of items: 2. YesWehrle, Martin and Kupferschmid, Sebastian. (2016) Downward Pattern Refinement for Timed Automata. International journal on software tools for technology transfer, 18 (1). pp. 41-56. Wehrle, Martin and Kupferschmid, Sebastian. (2012) Mcta: heuristics and search for timed systems. In: Formal Modeling and Analysis of Timed Systems : 10th International Conference (FORMATS 2012). Berlin, pp. 252-266. |