Skip navigation

Department of Computer Science

Model Checking Strategies from Synthesis Over Finite Traces

5^th October 2023, 11:00
Yong Li

Department of Computer Science , University of Liverpool
Ashton Street, Liverpool, L69 3BX
United Kingdom

+44 (0)151 795 4275

Call the department