Sebastian Hahn 0001, Jan Reineke, Reinhard Wilhelm. Toward Compact Abstractions for Processor Pipelines. In Roland Meyer, André Platzer, Heike Wehrheim, editors, Correct System Design - Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings. Volume 9360 of Lecture Notes in Computer Science, pages 205-220, Springer, 2015. [doi]
Abstract is missing.