Search results for: Christoph M. Kirsch
Lecture Notes in Computer Science > Embedded Software > Regular Papers > 241-256
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Papers > 357-371
International Journal on Software Tools for Technology Transfer > 2013 > 15 > 3 > 189-209
Science of Computer Programming > 2012 > 77 > 2 > 96-112
DAC Design Automation Conference 2012 > 913 - 917