IFIP Logo
Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification


Talk "Fixpoint Equations: Games, Abstraction
 and Up-To Techniques"

by Paolo Baldan

Tue, 14 January 2020 at 02:00 pm in Massa Marittima, Italy

Joint work with: Barbara Koenig, Christina Mika-Michalski,Tommaso Padoan,