Cited By
View all- Li TChandramouli BMadden S(2024)Performant almost-latch-free data structures using epoch protection in more depthThe VLDB Journal10.1007/s00778-024-00859-8Online publication date: 17-Jun-2024
- Foughali MHladik PZuepke A(2023)Compositional verification of embedded real-time systemsJournal of Systems Architecture10.1016/j.sysarc.2023.102928142(102928)Online publication date: Sep-2023
- Brandenburg B(2022)Multiprocessor Real-Time Locking ProtocolsHandbook of Real-Time Computing10.1007/978-981-287-251-7_10(347-446)Online publication date: 9-Aug-2022
- Show More Cited By