Items where Author is "Tran Dinh, Duong"
Group by: Item Type | No Grouping Number of items: 2. Tran Dinh, Duong and Waki, Kentaro and Ogata, Kazuhiro Formal specification and model checking of a recoverable wait-free version of MCS. In: International Conference on Software Engineering and Knowledge Engineering, July 1 to 10, 2021, Wyndham Pittsburgh University Center, Pittsburgh, USA. Tran Dinh, Duong and Bui Duy, Dang and Ogata, Kazuhiro Simulation-based invariant verification technique for the OTS/CafeOBJ method. IEEE Access . ISSN 2169-3536 |
