Cited By
View all- Enea CKoskinen E(2024)Scenario-Based Proofs for Concurrent ObjectsProceedings of the ACM on Programming Languages10.1145/36498578:OOPSLA1(1294-1323)Online publication date: 29-Apr-2024
- Nagabhiru MByrd G(2024)Achieving Forward Progress Guarantee in Small Hardware TransactionsIEEE Computer Architecture Letters10.1109/LCA.2024.337099223:1(53-56)Online publication date: Jan-2024
- Beutner RFinkbeiner B(2023)AutoHyper: Explicit-State Model Checking for HyperLTLTools and Algorithms for the Construction and Analysis of Systems10.1007/978-3-031-30823-9_8(145-163)Online publication date: 22-Apr-2023
- Show More Cited By