edoc

Items where Author is "Kupferschmid, Sebastian"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type | Refereed
Jump to: Yes
Number of items: 2.

Yes

Wehrle, 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.

This list was generated on Sun Apr 28 09:18:32 2024 CEST.
edoc is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton.