IFIP Logo
Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification


Talk "Quantitative graded modal logics"

by Lutz Schröder

Mon, 24 April 2023 at 03:20 pm in Paris, France

Joint work with: Jonas Forster and Paul Wild