"Improving formal timing analysis of switched ethernet by exploiting FIFO ..."

Daniel Thiele, Philip Axer, Rolf Ernst (2015)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics