Analysing Termination and Consistency in the AVB's Stream Reservation Protocol.

Daniel Bujosa, Ines Alvarez, Drago Cavka, Julin Proenza

Browse the full ETFA paper archive.