Formal Abstractions for Packet Scheduling

Anshuman Mohan^*, Yunhe Liu^*, Nate Foster^*, Tobias Kappé^*, Dexter Kozen^*

^*Corresponding author for this work

Research output: Contribution to journal › Article › Academic › peer-review

1 results
- Title(descending)
- Award date

Distinguished Paper Award (OOPSLA)
Mohan, A. (Recipient), Liu, Y. (Recipient), Foster, N. (Recipient), Kappé, T. (Recipient) & Kozen, D. (Recipient), 22 Oct 2023
Prize: Prize (including medals and awards) › Academic