Thanh-Hai Tran, Igor Konnov and Josef Widder win FORTE21 Best Paper Award
Friday, Jun 18, 2021Thanh-Hai Tran, Igor Konnov and Josef Widder received the Best Paper Award at FORTE21 for their Case Study on Parametric Verification of Failure Detectors. Congratulations!