Scalable Redundancy Detection for Real-Time Requirements.

Elisabeth Henkel, Nico Hauff, Lena Funk, Vincent Langenfeld, Andreas Podelski

Browse the full RE paper archive.